Deterministic verifier for concise AI output. Pass, fail, rewrite, and emit receipts without model calls.
-
Updated
Sep 18, 2026 - TypeScript
Deterministic verifier for concise AI output. Pass, fail, rewrite, and emit receipts without model calls.
Trust checkpoint for AI-generated code, agent reports & embodied-AI artifacts — the exam hall for LLM output. Solves LLM hallucination with programmatic verification: four-layer statistical exams, invariant examiner, conclusion anchors. No LLM self-evaluation — deterministic verdicts.
A deterministic first-pass filter for unsupported claims in LLM output, computed without calling another LLM. Not a standalone hallucination detector. A spec plus reference implementation, shipped as touchstone-mcp.
To associate your repository with the ai-output-verification topic, visit your repo's landing page and select "manage topics."