Senior software engineer focused on AI agents, developer tools, and infrastructure.
I build agent runtimes and the systems around them: decision tools, session search, observability, and reliable execution. I bring six years of professional software engineering across fintech, DeFi, SaaS, and AI systems, alongside independent AI work since 2017.
Based in Greater Boston. Open to senior engineering roles in AI systems and infrastructure.
Portfolio and CV · LinkedIn · Research
| Project | What to look at |
|---|---|
| Jev Workflows | My open-source Codex plugin. Typed decision consultation, failure diagnosis, and evidence-based completion review. Verification and limitations. |
| A Rust agent runtime with a terminal UI, headless runner, SQLite sessions, approval policies, and MCP. My contributions include bounded review and run-state controls. Architecture and guides. | |
| Ferrite | A Rust-first web framework prototype with TypeScript APIs, server rendering, file-system routing, and browser hydration. Examples and deployment design. |
| Consensus CLI | A local session-observability tool for Codex, OpenCode, and Claude Code, with provider adapters, hooks, WebSockets, and a browser UI. Published beta. Architecture. |
| ChatIndex | A local coding-session search prototype with SQLite indexing, citation-backed retrieval, CLI, MCP server, and HTTP API. Usage and setup. |
More public work includes Jev NetHack, an agent-evaluation research repository with preserved recordings and explicit negative results, and GrokHack, a multiplayer world with agent interfaces.
At Further, I designed the end-to-end LangGraph agent and ETL architecture for a homebuying product, integrating Zillow and mortgage APIs with typed state, retrieval, tool orchestration, and deterministic risk controls. Earlier, at Knox Financial, I built housing search, ingestion pipelines, PostgreSQL services, REST APIs, and deployment checks.
My independent work also includes a jointly developed agent-execution platform using Temporal and PostgreSQL, and Apple-silicon ML experiments using MLX and PyTorch MPS. My CV covers the wider portfolio and career history.
I authored an arXiv preprint giving a dimension-two counterexample to the separable Jacobian conjecture in characteristic two, with a Lean 4/Mathlib formalization. The public research repository contains the paper, provenance, and proof-evidence map.
Rust · TypeScript · Python · React · Effect · LangGraph · MCP · PostgreSQL · SQLite · Temporal · Docker · Cloudflare Workers · Lean 4