Blog
News and writing from the foundation.

Receipt, a verifier for the records agents produce
Receipt checks that a record an agent produced is the one that was signed and witnessed, and refuses with a named reason when it is not. On PyPI at 0.6.1 with a working paper.

Computable law, in practice: Sonia applies for benefits
A denial letter, four systems that each answered differently, and what Sonia’s story looks like when they all run the same open, published rules.

Launch week: 3,000 encoded provisions, 150+ attendees, one Brooklyn loft
Inside the Axiom Foundation's launch week: the briefing webinar, the app and demo gallery now open to explore, and a night of cake and balloons in Brooklyn.

The Axiom Foundation launches to publish the world's rules as open, verifiable code
Computable law for all: statutes and regulations as cited, time-aware, executable code — starting with tax and benefit policy

Ariel Kennan named BetaNYC's Public Interest Technologist of the Month
BetaNYC has named Axiom Foundation President Ariel Kennan its Public Interest Technologist of the Month for July 2026.

Policy analysis in the age of AI
At the Aspen Institute's Benefits Leadership Forum, Max Ghenis made the case that frontier models still miss on tax and benefit questions — and what to do about it.

The Axiom Foundation goes public July 28 — join us!
The rules that decide who gets food assistance, health coverage, and tax credits are implemented privately, everywhere. On July 28 we publish them in the open.