Selected proof
Case studies from a Sepolia-scale Vyper DeFi stack.
These are not mainnet-safety claims. They are concrete examples of how I map composed systems, fuzz the mutating surface, disclose trust boundaries, and package reusable engineering before real value is at risk.
Featured · Composition
TARE Flywheel 2.0
Four Vyper protocols composed through CoilFeeRouter, SurplusSplitter, gauge-weight routing, and Keep reinvestment. Keep became the revenue accumulator; CoilMakerStrategy is primary; surplus emission routes back into productive capital.
FLYWHEEL 2.0 fixes four gaps: generic lending yield, governance without economic consequence, single-line peg defense, and unseeded Coil liquidity.
Read full architecture →
Composition Review
Internal seam audit
Cross-repo review surfaced Keep admin custody (H-1), solver bleed across CoilMakerStrategy ↔ Coil (H-2), and EMA drift across Curve + fee router + maker (M-1). Findings documented with threat model and invariant spec.
Open ecosystem explorer →
Market making
Coil EIP-1271 strategy
Keep authorizes resting limit intents on Coil through an on-chain strategy. The core risk is not custody — it is whether solver pricing creates positive carry instead of slow bleed at the vault↔DEX seam.
Read Coil integration →
Security tooling
Deploy gate & watchtower
Deterministic agents verify deployed bytecode, watch role/address drift, compare redeploy risk, stress economic assumptions, and roll results into an Overseer digest. Read-only — no fund control, no autonomous execution.
See the agent suite →
More systems
Selected protocol work
Standalone and flywheel-adjacent builds — each led by the invariant it must survive, not line count.
Governance
veForge
Curve-style vote-escrow, gauges, and bribes rebuilt in Vyper 0.4 — governance that steers capital without touching funds.
Case study →
Stablecoin
TARE CDP
Multi-collateral CDP with redundant oracles, Dutch-auction bad debt, sTARE savings, and Curve peg defense.
Case study →
Vault
Keep
ERC-4626 multi-strategy vault with senior/junior tranching and APR-proportional debt routing.
Case study →
DEX
Coil intent DEX
Batch-auction settlement with EIP-712, EIP-1271, partial fills, and measured solvency guards.
Case study →
Standalone
SnekSentry
Inventory-funded Aave V3 liquidation executor + bot kit. Not in the flywheel value path.
Case study →
Migration
Solidity → Vyper 0.4
Five OpenZeppelin contracts ported with Snekmate module map and pattern catalog.
Case study →
Verifiable research
Bug-bounty submissions
PoC-backed reports filed on live programs — judged on merits by independent triage. Client testimonials stay off-site until approved; no anonymous quotes here.
HackenProof
Fee-accounting edge
Base-asset quantity mixed into quote-unit fee accumulators. Closed Informative — protocol-revenue edge, no user-fund risk.
HackenProof
LayerZero batch atomicity
Single reverting claim aborts an inbound batch. Closed Out of scope — UX/operational, retryable.
Sepolia/testnet only · self-reviewed · not externally audited · no mainnet TVL represented.