Founder of Proof — Prove your software does what you promised
Your application makes promises: in contracts, in docs, in what sales sold. We turn them into requirements your engineers sign, then hold the code to them with formal proofs, condition-level coverage, and findings that arrive as runnable reproducers. The audit installs in your CI, starts with the component where failure costs you most, and widens quarter by quarter; the corpus compounds until it covers what matters.
Public demonstration on jsonparser (the library I originally wrote):
full hierarchy + 100% MC/DC, yet still 7 real bugs — including a silent data-loss defect that escaped complete condition coverage.
→ reqproof.com/correctness-labels
- Head of Engineering at Tyk
- Author of jsonparser — THE fastest JSON parsers for Go
- Creator of GoReplay — traffic replay & testing infrastructure
- Creator of helpwanted.dev - helping OSS communities with contributors
- Previously: probeai.dev (AI code search)
- Email: [email protected]
- X: @buger
- LinkedIn: leonidbugaev