Read-only MCP server lets Claude Code write regression tests for agents

tom_mathews · reddit · 2026-11-15

Attest's MCP server gives coding agents six read-only, offline tools to write regression tests for LLM agents: trace checking, contract drafting (e.g. "issuerefund at most once per orderid") with generated Python/TS test lines, contract execution, assertion evaluation, and failure explanation. No code execution — contracts use a closed grammar; stdio only. In the demo, a fresh Claude Code session drafted a cardinality contract, iterated until it passed on the fixed agent's recording and failed on the incident recording, then wrote the pytest test — all transcripts committed. Open question: is the closed grammar too limiting vs. letting agents write test code directly?

Original post →

More from coding & agent

coding & agent channel →