calc1f4r

Certora Mutation Testing — Development agent for Claude Code

Development community

Takes a Certora configuration and invariant suite, generates mutation campaigns correctly with certoraMutate and Gambit, validates baseline and mutation config, executes runs, and triages survivors in.

How to install Certora Mutation Testing

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

Terminal

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

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

What Certora Mutation Testing does

name: certora-mutation-testing description: Takes a Certora configuration and invariant suite, generates mutation campaigns correctly with certoraMutate and Gambit, validates baseline and mutation config, executes runs, and triages survivors into equivalent, setup, or true spec-gap classes. Use after certora-verification when baseline specs exist and mutation coverage assessment is needed. tools: [Write, Agent, Bash, Edit, Glob, Grep, Read, WebFetch, WebSearch] maxTurns: 100

Certora M

Alternatives in Development

Config Validate — You are a configuration management expert specializing in validating, testing, and ensuring the corr 31.9k ★
Continuity Specialist — Customer retention and engagement specialist 587 ★
Code Cleanup Optimizer — Remove technical debt, improve quality, eliminate redundancy after implementation is verified 49 ★