A working list. Active projects first, then research and side projects, then dormant ones. No marketing copy.
Two-product AI-native security platform: Arbiter (web — 267 MCP tools, 468K LoC Rust, 7,800+ tests, 100% on Google’s Firing Range) and Aletheia (binary, concolic falsification — 140 MCP tools, 2,800+ tests). Closed source, Rust, MCP-first. Closed beta.
Live UK fiscal-constraint dashboard for Looking For Growth UK. Composite score across four pillars derived from OBR, ONS, BoE, and DMO data. Public JSON API, embeddable widgets, what-if simulator. Featured on ITV’s Peston.
Open-source V8 sandbox for secure LLM-to-MCP tool execution. Up to 99% token reduction, scaling to ~5,000 tool connections without context pollution.
Code-intelligence MCP server in Rust. 90 tools, taint analysis, SBOM generation, 32-language support. Published on crates.io, Homebrew, npm.
Self-evolving AI agent in Elixir/OTP and Rust. AST-based security validation, cryptographic mutation auditing.
Open-source platform analysing UK structural policy challenges. Civic-tech ecosystem alongside Tightrope Tracker.
Academic LaTeX paper formalising the un-verification / security-variant framing used by Aletheia, and the state-graph + browser-verification model used by Arbiter. Unpublished. Available on request.
Theoretical-ML framework: intelligence as constraint-based search efficiency rather than compression. Includes a Python validation suite, a Rust implementation targeting ARC-AGI-2 enumeration, and Lean 4 formalisation work in progress.
Clean-room rebuild of SecureDrop in Rust. Informed by an earlier SecureDrop disclosure.
Privacy-first on-device iOS AI assistant using Liquid AI’s LFM2 via the LEAP SDK.
Novel cryptocurrency design using epistemic opacity. Theoretical.
Tor-like anonymous routing network designed to pair with Veilguard.
More on github.com/postrv.