Things I built

Projects, experiments, and works in progress.

sorryaudit ↗
A proof trustworthiness auditor for Lean 4: detects sorry/incomplete proofs and traces how they taint every theorem downstream of them. Built for the Apart Research Secure Program Synthesis Hackathon.
ros-mcp-plugin ↗
Lets an LLM agent control a SO-101 robotic arm via natural language, using an MCP server, a ROS 2 bridge, and a hardware driver. Runs in Docker, supports real hardware and Gazebo simulation. Presented at ROSCon Global 2026.
claude-arcade ↗
A terminal games library that hooks into Claude Code: mini-games auto-launch while Claude is thinking. Includes Bird Hunt, Pong, and Road Racer. Install with pipx install claude-arcade.
prepared ↗
A webapp that uses Gemini to understand your responses and ElevenLabs to simulate a US Visa officer, so you can practice and improve your answers before the real interview.
Voice layer for LLMs
Two tools for adding speech to AI workflows.
- llm-speech ↗
  Chrome/Edge extension that adds voice input and output to Claude.ai, for hands-free interaction directly in the browser.
- speech-summarizer-api ↗
  API and dashboard for transcribing and summarizing speech.
Save the Castle ↗
A Python OOP game. Shoot the monsters to save the castle. Built to explore object-oriented design patterns.
SO101 soon
Coming soon.