claudeindex
Plugin

halmos

Halmos symbolic testing for Foundry — write symbolic Solidity tests that mathematically verify properties. Foundry-native (no new language), bounded model checking, counter-example generation, and lightweight alternative to Certora.

Installation

1

Add the marketplace

/plugin marketplace add 0xinit/cryptoskills
2

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

Repository & Links

Plugin Source

View Plugin Code

GitHub Repository

0xinit/cryptoskills

Details & Metadata