AgentReceipt
Featured case study · Local-first AI tooling
Local-first Go CLI for recording AI coding sessions and producing verifier-ready replay evidence.
Public Go CLI; latest tagged release is v0.10.1.
Explore the AgentReceipt case studyBackend and developer-infrastructure engineering, backed by inspectable work.
Backend and blockchain infrastructure engineer with around five years of experience building developer tools, AI workflows, data systems, and correctness-sensitive infrastructure.
Selected work
Browse all 7 engineering case studiesAsk Siargao
TypeScript · Next.js
AI travel decision desk that turns Siargao plans into evidence-backed keep, change, avoid, or confirm-locally calls.
AggSandbox
Rust · Docker
Cross-chain infrastructure experiments using LayerZero, AggLayer concepts, and executable contract scripts.
Voyager Verifier
Rust · Starknet
Starknet contract verification tooling with compiler integration and status tracking.
Open-source contributions
Merged contributions to data systems and developer infrastructure.
- Apache DataFusionContributed SQL planner diagnostics to Apache DataFusion, adding non-fatal warnings for likely mistaken NULL equality predicates across WHERE, JOIN ON, and HAVING paths with regression coverage.Merged PR
- Starknet FoundryAuthored 7 merged PRs to Starknet Foundry, including sncast verify Voyager verification support, verifier file-gathering UX, network-selection fixes, payload compatibility, e2e coverage, and migration to the Voyager verifier library.7 merged PRs
- Dojo EngineAuthored 10 merged PRs to Dojo Engine across Cairo ERC20/ERC721 modules, GDA/VRGDA auction primitives, constant-product market logic, test coverage, and Sozo Voyager contract-verification tooling.10 merged PRs
- Apibara DNAAuthored 3 merged PRs to Apibara DNA around Starknet devnet integration, connector/configuration updates, and PostgreSQL sink unique-column handling.3 merged PRs
- Voyager VerifierAuthored 27 merged PRs evolving a Rust Starknet contract-verification CLI/library across API client design, file/source resolution, config/history/status/batch workflows, Dojo support, release automation, documentation, and public library extraction.27 merged PRs
Technical writing
Browse the writing atlasPractical guides to verification, agent workflows, developer infrastructure, and product systems.
- AI agent systemsHow to record and verify AI coding-agent activity
- AI agent systemsDesigning replayable evidence for coding agents
- Blockchain systemsHow Starknet contract source verification works
- AI agent systemsAuditing agent skills and instruction files
- Local-first systemsLocal-first architecture for developer tools
- Developer infrastructureHow to test cross-chain bridge workflows locally
- AI agent systemsDesigning evidence-bounded recommendations for an AI travel agent
Engineering experience
Review the engineering resumeNethermind
Starknet tooling, contract verification workflows, cross-chain infrastructure, developer experience automation.
Independent / Open Source
AI workflow tools, signed agent evidence, protocol experiments, full-stack product prototypes, CLI tooling, and engineering automation.
Discuss a role or consulting project.
I am open to remote software engineering roles in backend systems, developer infrastructure, AI tooling, and blockchain infrastructure, plus selected consulting projects with clear technical scope.
Email Alex