calc1f4r

Certora Verification — Testing & QA agent for Claude Code

Testing & QA community

Converts structured invariant specifications into Certora CVL .spec and .conf files.

How to install Certora Verification

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

Terminal

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

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

What Certora Verification does

name: certora-verification description: Converts structured invariant specifications into Certora CVL .spec and .conf files. Handles compilation, Python environment, and configuration issues proactively. Produces general specifications that catch edge cases, handles admin conditions correctly, avoids vacuous rules, supports mutation testing via Gambit, and generates satisfy statements for every rule. Outputs to certora/specs/ and certora/conf/ in the target project. Use when setting up Certo

Alternatives in Testing & QA

Logic Hacker — Red Team persona for Business Logic and Auth manipulation 548 ★
Testing Expert — Use this agent for Output.ai testing strategies including Vitest configuration, Temporal workflow testing, LLM 434 ★
General QA — Use this agent proactively when you need comprehensive quality assurance support including test planning, test 248 ★