Math Verifier — Testing & QA agent for Claude Code
Use to run and maintain test-sim.js, check-contrast.js, and check-claims.js — three independent verifications.
How to install Math Verifier
Installs to ~/.claude/agents/gabriel-dg-agent-software-factory-math-verifier.md
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/gabriel-dg/agent-software-factory/HEAD/.claude/agents/math-verifier.md -o ~/.claude/agents/gabriel-dg-agent-software-factory-math-verifier.md Restart Claude Code, or start a new session, for it to be picked up.
What Math Verifier does
name: math-verifier description: Use to run and maintain test-sim.js, check-contrast.js, and check-claims.js — three independent verifications. test-sim.js checks sim.js's output against analytic ground truth (3 doors: 1/3 vs 2/3; N doors with N-2 revealed: 1/N vs (N-1)/N); invoke after sim-engineer produces or changes sim.js, and again after ANY subsequent change to sim.js. check-contrast.js checks the WCAG contrast pairs declared in DESIGN.md against tokens.css; invoke after art-director p
Alternatives in Testing & QA
- Workflow — plan.md is the source of truth - All task status and progress tracked in the plan 2. Test-D... - wshobson/agen 31.9k ★
- Testing Expert — Use this agent for Output.ai testing strategies including Vitest configuration, Temporal workflow testing, LLM 434 ★
- API Tester — Test all API endpoints for correctness and robustness 116 ★
Full documentation available on GitHub
View Source RepositoryRelated Agents
Sim Engineer
Use to write or fix sim.js, the pure simulation logic for the Monty Hall problem (3-door and N-door), after SP
Math Reviewer
Independent verifier for mathematical and numerical work. Mode "spec" recomputes and checks a math-spec deriva
Violets
Behavioral spec agent. Produces DESIGN.md — a detailed API contract, schema definition, or component hierarchy
Video Film Verifier
Independent PASS/FAIL verification of a finished video against its spec's acceptance criteria - format, claims
Forge Verify
Forge's Verification agent — actually drives the running app/build to confirm a change works, rather than trus
Verify Boss
OPTIONAL independent RE-EXECUTOR. Use on request as a last-stage second witness for L2+/high-risk runs to re-r
Related Skills
Lane Verify
Out-of-domain verification lane. Independently REFUTE other lanes' done-claims, defaulting to refuted when unc
Rails AI Context
45 MCP tools that give AI coding agents ground truth about your Rails app: schema, models, routes, controllers
Claude Boot Stats
Per-component token cost analyzer for Claude Code first-turn context: HTTP intercept proxy + Qwen3 BPE + groun