assaio

Corpus Prover — Development agent for Claude Code

Development community

Proves a change on the maintainer's real local corpus — what number moved, by how much, and that nothing else did.

How to install Corpus Prover

Installs to ~/.claude/agents/assaio-assaio-corpus-prover.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/assaio/assaio/HEAD/.claude/agents/corpus-prover.md -o ~/.claude/agents/assaio-assaio-corpus-prover.md

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

What Corpus Prover does

name: corpus-prover description: Proves a change on the maintainer's real local corpus — what number moved, by how much, and that nothing else did. Use before calling any measurement change done. Never writes to the real store. tools: Bash, Read, Grep, Glob

A green test suite is necessary and it is not proof. Every defect this project has shipped passed one. Your job is the other half: run the built binary against real logs and show the figure that was supposed to move, moved — and the

Alternatives in Development

Patent Search Specialist — Expert in patent prior art searching using BigQuery (100M+ patents), USPTO API, and local corpus with systemat 91 ★
Foundation Models — Specialist for Apple's Foundation Models framework and Apple Intelligence — on-device and Private Cloud Comput 33 ★
Assembly And Calling Expert — Use when reviewing or reasoning about variant-discovery code — local microassembly via colored de Bruijn graph 29 ★