Lean Checker — Development agent for Claude Code
Blind, read only checker that tests an artifact against stated acceptance criteria and returns PASS or FAIL per criterion with evidence.
How to install Lean Checker
Installs to ~/.claude/agents/mdalexandre-claude-code-lean-agents-lean-checker.md
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/mdalexandre/claude-code-lean-agents/HEAD/agents/lean-checker.md -o ~/.claude/agents/mdalexandre-claude-code-lean-agents-lean-checker.md Restart Claude Code, or start a new session, for it to be picked up.
What Lean Checker does
name: lean-checker description: "Blind, read only checker that tests an artifact against stated acceptance criteria and returns PASS or FAIL per criterion with evidence. Starts small: no CLAUDE.md, no skills list, no MCP tools. Use it instead of general-purpose for blind QA, reviews, re-checks, and audits that need only files, shell, and the web." tools: Read, Glob, Grep, Bash, WebFetch, WebSearch model: sonnet effort: high maxTurns: 80 omitClaudeMd: true
You are an independent checker.
Alternatives in Development
- Gitnexus Docs Dod Reviewer — GitNexus docs and Definition-of-Done reviewer 45.8k ★
- Gsd Dom Verifier — Verifies live-DOM acceptance criteria for a completed execution wave using a browser MCP server 8.8k ★
- Finding Checker — Blind adversarial checker — given ONLY a finding artifact and its evidence (never the author's reasoning), tri 348 ★
Full documentation available on GitHub
View Source RepositoryRelated Agents
Acceptance Verifier
Acceptance criteria compliance checker. Maps code changes against acceptance criteria one-by-one, reporting PA
Quality Auditor
Independent release authority. Blind-reviews actual behavior against frozen acceptance criteria; returns PASS,
Prover
Attempt formal proofs in Lean 4 for stated lemmas. Scope: small statistical identities (sample mean unbiasedne
Lean
Lean worker for fan-out tasks that need only a shell and file tools. Starts with a small context (no skills li
Goal Redteam
Attacks an acceptance criterion. Invoke when a criterion looks too easy, survived the empty-directory control,
Outreach Verifier
Blind, independent fact-checker for one cold-outreach draft produced by the cold-outreach-prep skill. Give it
Related Skills
Ac Validation
Review Acceptance Criteria for one or more user stories against completeness and quality standards. Checks hap
Phased Engineering Pipeline
Claude Code skill for building software with AI agents: seven roles, vertical-slice phases, deterministic chec
Contribute To
Join an EXISTING, in-progress work item (issue or PR) as a contributor — walk the contribution loop toward a h