Projects

Building Proof, a formal verification platform for the AI era. Write requirements, prove they hold with formal methods, trace every change from intent to code, and ship with mathematical confidence.

Building Visor, an open-source AI workflow engine that orchestrates code review, assistants, and automation through YAML-driven pipelines — running the same config as a GitHub Action, CLI, Slack bot, or HTTP API.

Created Probe, an open-source code context engine that combines ripgrep speed with tree-sitter AST parsing, giving AI coding assistants precise, structured understanding of multi-million line codebases with zero setup.

Leading the engineering team at Tyk for 8 years, overseeing all technical aspects of the API Management platform, managing global teams, and driving technical excellence across the organization.

Created and maintained GoReplay, an open-source tool for capturing and replaying live HTTP traffic for testing and debugging. The project has garnered widespread adoption in the developer community since 2013.

Created and maintained jsonparser, an open-source library that provides the fastest JSON parsing capabilities in Go. The project has become a widely adopted solution in the Go ecosystem since its creation.