Building deterministic AI agent architectures and formal verification systems.
Designing software where autonomous agents have to be right and smart contracts have to be safe.

I design systems at the intersection of AI agents that have to be right and smart contracts that have to be safe.

• Jurisa — Founder (AI engineering & operations orchestration)
• Alma Labs — Co-Founder (Blockchain security research & autonomous verification)
• Uniswap Foundation Incubator — Alum, Cohort 7

• Lexica Research Agent Local-first autonomous literature retrieval & multi-step synthesis.

  • Hybrid dense + BM25 retrieval fused via Reciprocal Rank Fusion (RRF), HyDE query expansion, and a CRAG-style corrective judge.
  • Features a closed SimRAG-style self-eval loop to iteratively evaluate and optimize hit rates.
  • Python · LangGraph · FastAPI · ChromaDB · Claude API

• Smart Contract Audit Agent
  Automated vulnerability discovery via hybrid RAG, property-based fuzzing, and formal verification.

  • Milestone: Placed 29/773 (top 4%) in a live Cantina contest; independently surfaced a verified Medium-severity vulnerability in Revert Finance production code.
  • Benchmarks: 1.0 Recall@10 and 0.95 end-to-end detection rate across 20 confirmed production vulnerabilities.
  • Python · Halmos · Foundry · Certora · Formal Verification

• Argos Scribe (by Jurisa · Closed Source / Enterprise)
  Polymorphic Proposal-Ops engine automating B2B SOW generation from discovery call transcripts and raw RFPs.

  • Built on a 7-stage deterministic LangGraph architecture featuring bounded self-critique loops, dynamic service tier mapping, strict in-scope/out-of-scope bounding, and Pydantic structured output validation.
  • Python · LangGraph · FastAPI · Supabase (PostgreSQL/RLS) · Claude API · Next.js

• Ask Your Documents
  Production-ready local document intelligence platform with verifiable source citations.

  • Hybrid retrieval engine combining ChromaDB dense vectors and BM25 via RRF, featuring HyDE expansion, strict confidence thresholding against hallucinations, and automated multi-format ingestion (PDF/DOCX/TXT).
  • Python · FastAPI · ChromaDB · BM25 · React · Tailwind CSS · OpenAI API

• AsyncSwap (Uniswap Foundation Incubator, Cohort 7)
  Production DEX protocol mitigating sandwich attacks via non-custodial asynchronous execution and permissionless settlement networks.
  Solidity · Foundry · Invariant Testing

• Solana Instruction Extractor (SIE)
  Binary analysis and reverse-engineering CLI for Solana sBPF program binaries.

  • Automates binary fetching, opcode disassembly via Ghidra/sBPF tools, instruction pattern matching, and account permission privilege analysis (signer/writable state).
    Python · Ghidra · sBPF · Binary Analysis · Solana CLI

• TrackFlow Decentralized verifiable task orchestration system.
  SP1 zkVM · Rust

• 🥈 Top 4% (29/773) — Cantina Revert Finance StableSwap Hooks Audit Contest (automated finding).
• 🦄 Uniswap Foundation Incubator — Selected for Cohort 7.
• 🎯 1.0 Recall@10 / 0.95 Detection — Benchmarked custom hybrid-retrieval and auditing agent against 20 confirmed production vulnerabilities.

• AI & Orchestration: LangGraph · RAG Pipelines · CRAG · HyDE · ChromaDB · Evaluation Loops

• Languages: Python · TypeScript · Solidity · Rust · SQL

• Security & Testing: Halmos · Certora · Foundry · Property Fuzzing · Invariant Testing · SP1 zkVM

• Backend & Infra: FastAPI · Next.js · PostgreSQL · AWS

  Currently building agent systems that require deterministic correctness — open to mission-critical engineering teams.