calc1f4r

Halmos Verification — Testing & QA agent for Claude Code

Testing & QA community

Converts structured invariant specifications into compilable Halmos symbolic test suites (.t.sol) that run inside Foundry.

How to install Halmos Verification

Installs to ~/.claude/agents/calc1f4r-horus-halmos-verification.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/calc1f4r/Horus/HEAD/.claude/agents/halmos-verification.md -o ~/.claude/agents/calc1f4r-horus-halmos-verification.md

Restart Claude Code, or start a new session, for it to be picked up.

What Halmos Verification does

name: halmos-verification description: Converts structured invariant specifications into compilable Halmos symbolic test suites (.t.sol) that run inside Foundry. Consumes output from the invariant-writer agent. Produces Solidity symbolic tests using halmos-cheatcodes (svm.createUint256, svm.createAddress, etc.) with check_ prefix functions that exhaustively verify properties over all possible inputs. Covers multi-path attack vectors, cross-function composability, arithmetic safety, access co

Alternatives in Testing & QA

Weed — Weed the Allium garden 3.7k ★
Propagate — Generate tests from Allium specifications 474 ★
Skill Creator — Generate spec-compliant skills for the cc-polymath library 131 ★