Services Case Studies Stack Explorer Products FAQ About Book a call

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 →

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 →

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.

Book a call Open explorer