Post Oak Labs builds verifiable work infrastructure: deterministic tools that emit hash-canonical, independently verifiable OpenChainGraph artifacts.
Run a calculation, get a receipt. Recompute the receipt yourself and you get the same hash — or you find out the answer changed.
| Suite | Focus | Live site | MCP endpoint |
|---|---|---|---|
| AINumbers.co | Markets & institutions: fintech compliance tools | ainumbers.co | mcp.ainumbers.co/mcp |
| ApexLogics.org | Deterministic decision engines for people, creators, and agents | apexlogics.org | mcp.apexlogics.org |
| OmegaCentauri.me | Science & evidence: astrophysics evidence evaluation | omegacentauri.me | mcp.omegacentauri.me/mcp |
Each suite links to a live catalog carrying its own current counts. We don't restate them here, because they move every time we ship.
Receipts carry real groth16 compute proofs, not just hashes. On AINumbers, 513 of 517 eligible live nodes are zk-proven (measured 2026-08-04 by the repo's own coverage gate; 15 GPU-bound kernels are out of scope). That gate is in-tree and blocking — the number isn't a marketing line, it's a build failure if it slips.
All three suites emit artifacts conforming to OpenChainGraph: an open standard for hash-canonical, replayable computation artifacts. Spec, JSON schema, and conformance gates live in that repo.
- ocg-verify-action — verify OpenChainGraph receipts in CI. Recomputes
execution_hash, checks signatures and Merkle anchor inclusion. Zero dependencies. - ocg-robotframework-listener — emit OCG receipts straight out of a Robot Framework run (Listener API v3).
- anchor-suite — anchor.ainumbers.co: RFC 3161 / OpenTimestamps / signature-envelope timestamping and verification, independent of any single suite.
- ainumbers-helm — local-first control plane for verifiable connected workflows. Signed evidence, EU AI Act Art. 12 journal.
Security reports, questions, and suggestions: see SECURITY.md / CONTRIBUTING.md in this repo, or tim@postoaklabs.com.