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

Continuity Specialist — Customer retention and engagement specialist 587 ★
Dashclaw Gate Runner — Runs the DashClaw verification gates (lint, full vitest suite, build, contract checks) and returns ONLY the fa 297 ★
GPU Kernel Baseline 95 ★