Arbiter Security
Two-product AI-native security platform: Arbiter (web) and Aletheia (binary). Closed source, Rust, MCP-first. Currently in closed beta.
Projects
A working list. Active projects first, then research and side projects, then dormant ones. No marketing copy.
Active
Tightrope Tracker
Live UK fiscal and economic constraint dashboard for Looking For Growth UK. Open source, MIT-licensed. Public API, embed widgets, nightly recompute.
Narsil-MCP
Code-intelligence MCP server in Rust with 90+ tools for AI coding agents. v1.0.0 released. Published on crates.io, npm, Homebrew.
Veilguard
Clean-room rebuild of SecureDrop in Rust. Active.
Sanctum
Supply-chain verification tooling, post-XZ-Utils threat model. Active.
Patina
Rust-based TUI replacement for Claude Code. Active.
Research and side projects
Aletheia + Arbiter whitepaper
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.
Avent’s Razor
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.
Dormant or paused
Astra
Privacy-first on-device iOS AI assistant using Liquid AI’s LFM2 via the LEAP SDK. Paused.
Veil Protocol
Novel cryptocurrency design using epistemic opacity. Theoretical, paused.
Project Phantom
Tor-like anonymous routing network designed to pair with Veilguard. Paused.
More on github.com/postrv.