3 projects
almanac-compute
Deterministic, verifiable ephemeris + geomagnetic computation — the numbers language models hallucinate, computed correctly and checked against NOAA and JPL.
pdfmarks
Read the data back out of a vector figure in a PDF
touchstone-compute
Deterministic, verifiable text/code/measurement utilities for AI agents — citations, diffs, proofreading, readability, syntax checking and unit conversion, each reproducing a named authority byte-for-byte. Trust by re-execution, not reputation.
