Projects
Public software projects, research systems, and protocol experiments. The current through-line is cooperative automation: giving agents and tools better declared state so they fetch less, infer less, and leave better evidence behind.
Featured public projects
Best starting points
Cooperative automation protocols
Declared state for tools that need to fetch less, infer less, and preserve provenance.
dotrepo
ActiveA trust-aware repository metadata protocol and public semantic cache for software projects.
Public index, query surface, released Rust toolchain, and PageDigest-backed freshness path.
PageDigest
v1 RCA one-file change-detection protocol for public websites and automated clients.
v1 release candidate, Rust generator, Python consumer, Astro integration, conformance tests, and live dogfood site.
Agent-native systems
Typed capabilities, semantic state, and evidence-gated systems research.
RamenOS
Public pre-alphaAn evidence-gated Rust OS lab for typed capabilities, semantic state, and agent-native computing.
QEMU boot smoke and typed gates pass; hardware evidence ladder in progress.
Mathematical tools
Polished standalone tooling with a live browser surface.
ries-rs
ActiveA modern Rust RIES implementation with CLI, Python bindings, Rust crate, WebAssembly, and browser app.
Browser app, CLI, Rust crate, Python bindings, and WASM.
Private and unfinished experiments
Research systems that are still below the public repository line
GeoCompress
PrivateA private research system for geometric compression and transform-chain search.
Private research system; no public repository yet.
Reading Order
For the fastest route through the work, start with dotrepo and PageDigest as a pair, then move into RamenOS for the long-range systems research and the ries-rs demo for the most immediately hands-on tool.