Projects

Few things, each doing one job precisely and wasting nothing. Quality over quantity — if it's here, it's something I'm proud to stand behind.

Kremis

A verifiable knowledge substrate for AI agents. The hard problem isn't generating knowledge — it's verifying it. A pure deterministic core in Rust, proof-carrying answers, an MCP bridge.

Rust
Deterministic
MCP