Local-first AI tooling
Local-first Go CLI for recording AI coding sessions and producing verifier-ready replay evidence.
Technologies
Agent tooling
TypeScript CLI for auditing Claude/Codex Agent Skills for quality, structure, scoring, and repair readiness.
ProofScans local skill roots, validates frontmatter and workflow quality, checks referenced files, reports JSON/human-readable findings, and prepares agent repair handoff after confirmation.
AI workflows
TypeScript CLI that scans local Claude/Codex prompt history and turns repeated workflows into reusable skills.
ProofClusters recurring prompt patterns locally, lets the user approve a candidate, and guides it into a reusable SKILL.md workflow.
AI travel product
AI travel decision desk that turns Siargao plans into evidence-backed keep, change, avoid, or confirm-locally calls.
ProofLive product and public source with governed tool use, server-validated Reality Checks, privacy-scoped trip memory, and repeatable verification gates.
Cross-chain infrastructure
Cross-chain infrastructure experiments using LayerZero, AggLayer concepts, and executable contract scripts.
ProofCross-chain protocol experiments with executable contracts and scripts.
Developer tooling
Starknet contract verification tooling with compiler integration and status tracking.
ProofBuilt for Starknet verification workflows at Nethermind.
Protocol engineering
Starknet yield tokenization protocol with SY/PT/YT assets, AMM markets, router flows, frontend, and indexer.
ProofSource-available protocol with a v1.0.0 release, documented Starknet mainnet addresses, and reproducible contract build instructions.
