Certora Verification — Testing & QA agent for Claude Code
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
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
- Weed — Weed the Allium garden 3.7k ★
- Logic Hacker — Red Team persona for Business Logic and Auth manipulation 548 ★
- Propagate — Generate tests from Allium specifications 474 ★
Full documentation available on GitHub
View Source RepositoryRelated Agents
Halmos Verification
Converts structured invariant specifications into compilable Halmos symbolic test suites (.t.sol) that run ins
Load Test Generator
Use this agent to generate K6 load test scripts from markdown specs. Converts natural language load test speci
Spec Developer
Expert developer that implements features based on specifications. Writes clean, maintainable code following a
Signature QA
Quality assurance specialist. Schema / compile / dead-code / silent-failure auditor. Ships with CogSig for sig
02 Test Prep.Agent
Test preparation specialist. Takes the QA planner's handoff and produces: concrete test cases (ISTQB-structure
Design Extractor
Extracts precise design specifications from Paper/Figma/Stitch MCPs or local reference images; produces struct
Related Skills
Kongming Agent
A general agent that proactively observes the workspace, ships built-in workflows, and coordinates multiple ag
Asset Spec
Generate per-asset visual specifications and AI generation prompts from GDDs, level docs, or character profile
Emdash
Emdash (YC W26) is a free, open-source agentic development environment (ADE) built by General Action, Inc. in
