Lead Engineer at HMRC building AI-powered search for the Online Trade Tariff. By night, building AI agent infrastructure — verification, trust, and orchestration tools for production AI systems.

• 🔭 Currently building a Verification API for AI agents — chain-of-verification for high-stakes domains
• 🛠️ Full stack: Rails, Elasticsearch, Python ML, AWS (Terraform, ECS), and AI agent orchestration
• 🧠 Exploring: multi-model verification, agent sandboxing, cost-optimised model routing
• 💬 Ask me about Ruby, Rails, AI agent infrastructure, Elasticsearch, NixOS, or Neovim
• ⚡ Fun fact: Postgres gets its name from "POST-Ingres" as it was a successor to the Ingres database developed in the 1970s

• Trade Tariff — Open-source platform helping traders navigate UK trade. I work across the backend, frontend, admin, identity, and infrastructure
• smailer — A Go TUI for reading mail from S3 buckets
• Neovim config — Hand-crafted Neovim configuration
• NixOS dotfiles — My NixOS system configuration
• NixOS/nixpkgs — Package maintainer for variety