Software Engineer
Backend/platform engineer building local-first AI tooling, developer infrastructure, and blockchain systems where provenance, observability, and correctness matter.
Selected Work
View all projectsLocal-first Go CLI for recording AI coding sessions and producing verifier-ready replay evidence.
Proof: Captures git, filesystem, instruction, and provider evidence; signs receipts; emits replay/focus JSON with reviewability metadata, quality gates, policy checks, and ranked agent-review tasks.
TypeScript CLI for auditing Claude/Codex Agent Skills for quality, structure, scoring, and repair readiness.
Proof: Scans local skill roots, validates frontmatter and workflow quality, checks referenced files, reports JSON/human-readable findings, and prepares agent repair handoff after confirmation.
View ProjectTypeScript CLI that scans local Claude/Codex prompt history and turns repeated workflows into reusable skills.
Proof: Clusters recurring prompt patterns locally, lets the user approve a candidate, and guides it into a reusable SKILL.md workflow.
View ProjectAgency proposal configurator for scope, pricing, approvals, revisions, and client delivery.
Proof: Live product with public user documentation for proposal and change-order workflows.
View ProjectCross-chain infrastructure experiments using LayerZero, AggLayer concepts, and executable contract scripts.
Proof: Cross-chain protocol experiments with executable contracts and scripts.
Starknet contract verification tooling with compiler integration and status tracking.
Proof: Built for Starknet verification workflows at Nethermind.
Starknet yield tokenization protocol with SY/PT/YT assets, AMM markets, router flows, frontend, and indexer.
Proof: Alpha mainnet deployment with live SplitYield product and documented Starknet contract addresses.
Open Source Contributions
Merged PR
Contributed 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.
7 merged PRs
Authored 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.
10 merged PRs
Authored 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.
3 merged PRs
Authored 3 merged PRs to Apibara DNA around Starknet devnet integration, connector/configuration updates, and PostgreSQL sink unique-column handling.
27 merged PRs
Authored 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.
Technical Focus
Experience Snapshot
Starknet tooling, contract verification workflows, cross-chain infrastructure, developer experience automation.
AI workflow tools, signed agent evidence, protocol experiments, full-stack product prototypes, CLI tooling, and engineering automation.
Contact
Open to remote software engineering roles focused on backend systems, developer infrastructure, AI tooling, and blockchain infrastructure. Also open to selected consulting work where the scope is technical and concrete.
