STYXX

Your coding agent's PR summary cannot lie about its diff — one CI line. Every number in a paper proves itself against committed receipts. And the proof travels: one file that verifies itself in any browser — offline, no API key.

• gate  the diff cannot be lied about — diff-shaped claims checked against the bytes in CI, the lie exits 1
• certify  every number checks out — the OATH certifier reconciles each reported figure against its committed receipt, offline (no API key, no LLM)
• capsule  proof that travels — document, receipts, and certificate sealed into one self-verifying HTML file; capsules of FAILED papers ship first-class

Open source · MIT · pure Python. Live on PyPI — 100+ releases, current v7.46.0. Certificate corpus at release: 202 certificates, 195 OATH-HELD, 7 FAILED — failures published with the same receipts. Every number the lab reports is verified against a committed receipt by the same instrument this package ships, offline, no API key, no LLM judge — and sealed into proof-carrying capsules that re-verify in any browser. Maintained by Fathom Lab. Source: github.com/fathom-lab/styxx · pip install styxx.