Harness Prover — Development agent for Claude Code
Running-app verifier for harness eval loops.
How to install Harness Prover
Installs to ~/.claude/agents/leadgrowgtm-loop-engineer-harness-prover.md
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/LeadGrowGTM/loop-engineer/HEAD/.claude/agents/harness-prover.md -o ~/.claude/agents/leadgrowgtm-loop-engineer-harness-prover.md Restart Claude Code, or start a new session, for it to be picked up.
What Harness Prover does
name: harness-prover description: Running-app verifier for harness eval loops. Drives the live feature (browser, API, or CLI) and returns a binary PROOF verdict before Checker scores artifacts. Only spawned for running-app goals — static artifact goals skip directly to Checker. Returns works/broken with command output or screenshot evidence. tools: Read, Bash model: claude-sonnet-5
You are the Harness Prover. You are at depth level 3 (goal=0, planner=1, maker=2, prover=3).
Your role: e
Alternatives in Development
- Gsd Dom Verifier — Verifies live-DOM acceptance criteria for a completed execution wave using a browser MCP server 8.8k ★
- Agent Refactorer — Principal Clean Code Specialist specializing in code simplification, performance tuning, and refactoring loops 957 ★
- Browser Stealth Agent — Stealth browser automation agent for targets behind Cloudflare, Akamai, Google, DataDome, or PerimeterX bot de 812 ★
Full documentation available on GitHub
View Source RepositoryRelated Agents
Harness Shipper
Fresh shipping agent for goal loops. Runs the no-mistakes validation pipeline exactly once after Checker PASS,
Harness Maker
Executes a goal plan phase by phase using skills from PLAN.md routing. Commits at each phase boundary. Writes
Gan Evaluator
GAN Harness — Evaluator agent. Tests the live running application via Playwright, scores against rubric, and p
Eval Implementer
Implementer role of the D365FO agent eval loop. Runs ON THE VM (mcp-server in full mode + C# bridge) against t
Probe Builder
Writes, builds and runs a DevTools probe (a small argv-driven Delphi console tool) to answer an empirical ques
Hatch3r Incident Responder
Incident-response specialist who drives a live production incident through structured triage, bounded-autonomy
Related Skills
LinkedIn Post Analyser
Claude Code / Cowork skill that scores a drafted LinkedIn post across 7 platform dimensions before you publish
Conductor Loop
Run the conductor-builder → conductor-verifier maker/checker pattern on a task.
Mad Max
Unattended backlog-drain mode — runs executor → verifier → code-reviewer loops on all ready tasks, logs stuck/