Deterministic claim verification with receipts across ~60 domains. No model in the loop.
Copy the AI prompt to install this server into Claude Code, Cursor, or another agent β or use 1-click editor setup below.
π‘ Paste into ~/Library/Application Support/Claude/claude_desktop_config.json (macOS) or %APPDATA%\Claude\claude_desktop_config.json (Windows)
A deterministic verification engine. It checks what is true and hands you a receipt you can re-verify β a verdict, the worked reasoning, and a permanent content-addressed seal. It eliminates what is not the answer so that what survives stands on its own.
Rebuilt like a watch (the Calibre 44 discipline): one bounded, counted movement; serviceable by any competent hand; machine-honest β the accuracy is the finish. See
docs/V2_DEFINITION.md.
Every answer is a (verdict, trail, seal) β three things, each independently checkable.
{domain, spec} (or text the router resolves)spec β verdict + worked trail (no I/O, no LLM)PASS | REJECT | QUARANTINE + the worked math (the elimination trail){claim, verdict, trail}secular reach / witness)The measure: reproducibility, zero false-positives on the published benchmark (docs/BENCHMARK.md), re-checkability.
The foundation is the Bible (FOUNDATION.md) β Christ at the center. From it the
engine reaches the world two ways: a secular .com (the reach) and an explicit-witness .org.
One engine, one foundation, selected by config β never a fork.
Then open http://127.0.0.1:8000/ β bring a claim, get a receipt. (Data β the keeping, the WEB
Bible, Strong's β is generated by tools/migrate_*.py and gitignored; the engine runs without it,
just with less to retrieve.)
The 2.0 engine is built end to end β floor 7/7, the derivation moat (0 false-positives), the
tamper-evident ledger + precedent overlay, 62 verifiers, the witness overlay (theology / witness /
scripture / canon), the shared corpus + ranker, scripture ref-resolution + original-language word
study, the axes grid, a sovereign HTTP API, and the site. 13 test suites green. Sovereign,
stdlib-first; heavy deps (sympy/scipy/numpy) are optional, lazy-loaded. Port progress:
PORT_PLAN.md.
1.0 is frozen (v1.0-frozen in the Lighthouse repo) β the shape that taught us the floor.
Showcase your server listing on GitHub or your project documentation. Embed this dynamic SVG badge to highlight official listing status and live engagement.
[](https://allmcps.com/mcp/concordance)<a href="https://allmcps.com/mcp/concordance"><img src="https://allmcps.com/api/badge/concordance?style=directory" alt="Concordance on AllMCPs" /></a>