TypeScript · Python · Solidity. I build agents and verifiers that prove what they did — deterministic test gates, pre-trade guardrails, execution sandboxes, receipt-settled escrow.
| repo | the problem it solves |
|---|---|
| Claimcheck | "the tests pass" as a checkable fact: verifies claims about a code change against executed evidence → VERIFIED / REFUTED / UNVERIFIABLE with citations |
| Ballast | autonomous overnight hedging agent — rulebook-gated, receipt for every decision |
| Vernier | executes transaction bytecode in a 0.42ms client sandbox, blocks malicious drainers pre-sign |
| Cense | pay under a cent, get a sourced, onchain-provable verdict (Celo · x402) |
| Booth | real-time AI director for voiceover: cuts flubs, calls retakes by line, prints the clean master |