Software engineer building guardrails for AI coding agents, developer tools, and on-chain infrastructure.
Rust · Go · TypeScript · Solidity
Open for freelance and contract work.
An autonomous, cost-guarded coding agent. You describe a goal; a frontier model turns it into a rigid task DAG; a cheap local model grinds through every step; an AiWrangler interceptor (backed by TypeSafe AI's Jev) approves each action before it touches disk; deterministic verification gates each step; git worktrees make every run reversible.
Guardrails for coding agents, driven by the docs that actually govern your repo. Plan and check gates catch silent defaults, scope creep, and claims that outrun the diff, with deterministic checks first, Jev as the calibrated semantic judge, and an append-only audit ledger. Ships as an MCP server for Cursor, Claude Code, Windsurf, and opencode.
AI-guided code tours in VS Code. Parses your diff with tree-sitter, has an LLM trace the execution flow, and steps you through it in the editor. Local-first model option, zero telemetry. Install From Open VSX.
Ranked matchmaking with verifiable settlement on Avalanche. Rust matchmaker (axum, Glicko-2), Foundry contracts with N-player quorum settlement, and SDKs for Rust, TypeScript, C#, C++, Unity, and Unreal. Play It At PlayWithAMP.xyz.
A heavily reworked fork of Mauricioabreu/Golings built to match the Rustlings experience: lipgloss TUI, single-key watch mode, interactive exercise list, and saved progress.
A headless PNG-Tuber in Rust. Your mic drives a layered avatar that shows up as a virtual webcam in OBS, Zoom, and Discord.