catqualia-ledger-mcp

An MCP server that lets an agent check a claim against a real, published falsification ledger instead of guessing.

Agents are increasingly asked to verify their own output. Most have nowhere to verify it against. This server is a concrete answer: 16,217 claims that were actually run against ground truth, each recorded with the measurement that would have refuted it, the value measured, and the verdict — including 5,837 the system refuted against its own work.

What is in the ledger

Computed from the bundled ledger.jsonl.gz at call time, never hardcoded:

The last line is the point. Re-run the checks and classify every verdict that moved: CONFIRMED -> REFUTED after a check is hardened means the instrument had been fooled and stopped being fooled (a hardening event); the reverse is a loosening event. The signed net measures whether a system's ability to catch its own false claims is improving or degrading.

It is currently zero. That is published because reporting only the +38 half would be a metric tuned to its owner — which is the exact failure the ledger exists to detect.

Install

uvx catqualia-ledger-mcp        # run without installing
# or
pip install catqualia-ledger-mcp

No dependencies. Python 3.9+. Implements MCP over stdio as newline-delimited JSON-RPC 2.0.

Configure

{
  "mcpServers": {
    "catqualia-ledger": {
      "command": "uvx",
      "args": ["catqualia-ledger-mcp"]
    }
  }
}

Tools

query_claim(query, verdict?, limit?)

Search the ledger. Returns the claim, its refutation threshold, the measured value, the method, and the verdict.

get_verdict(check?, claim?)

The recorded verdict for a named check. If a check ran more than once, all verdicts are returned in ledger order — a change between them is a ratchet event. A claim that is not in the ledger returns found: 0, never a plausible guess.

what_would_refute(query?, limit?)

The pre-registered threshold: the measurement that would have killed each claim, recorded before the outcome was known. Use it to test whether a claim is falsifiable at all, rather than whether it is currently believed.

verifier_drift_net()

The ratchet, recomputed from the ledger: re-runs, transitions, hardening, loosening, signed net, and the definition of what the number means.

citation_block(slug?)

BibTeX plus schema.org ScholarlyArticle JSON for a CatQualia publication, with the DOI resolved, so citing agents cite correctly. Call with no slug to list what is available.

Design rules this server follows

These are deliberate, and they are the reason it is worth trusting:

• Every number is computed from the bundled ledger at call time. Nothing is cached from a summary or a blog post.
• UNVERIFIED is returned as UNVERIFIED. It is never rounded up to a verdict, in either direction.
• A miss returns a miss. If a claim is not in the ledger the server says so and explains that absence is not evidence either way. It does not infer.
• The net ratchet is returned signed, including when it is zero.
• A slug match is exact-first. Substring matching is not safe for a citation tool: "thesis" is a substring of "synthesis", which once returned the wrong DOI. Matching is exact → prefix → contains → word-boundary on title.

Related records

• Thesis — https://catqualia.com/thesis · DOI 10.5281/zenodo.22752082
• Definitions of the terminology — https://catqualia.com/definitions
• Full ledger — https://catqualia.com/ledger
• 135 dated defensive publications — DOI 10.5281/zenodo.22751107

Licence

Code: CatQualia Open-Or-Pay Licence (COPL) v1.0 — free for research, individuals and academia with attribution; commercial use requires either opening the derivative stack or a commercial waiver. See LICENSE.

Ledger data: CatQualia Structural Isomorphism License (CSIL) v3.0 — https://catqualia.com/licensing.

Citation

@software{catqualia_ledger_mcp,
  title  = {catqualia-ledger-mcp: an MCP server for the CatQualia falsification ledger},
  author = {Betances, Christopher},
  year   = {2026},
  url    = {https://github.com/OpeningBlackBox/catqualia-ledger-mcp},
  note   = {16,217 pre-registered claims; verifier ratchet net zero}
}