Local-first review infrastructure for smart contract security.

ERC-20 staking vault with streaming rewards, gasless staking via permit and UUPS upgradeable contracts

I audited the code from this github repo: foundry-defi-stablecoin-f23. Just for practice and experience.

Foundry QA lab for an EVM milestone escrow with unit, fuzz, failure-path, reentrancy, and invariant tests

Invariant-authoring layer on top of Crucible (Asymmetric Research's coverage-guided Solana fuzzer). Stateful + AI-suggested invariants tagged in source.

Fast-Check example repo, in prep for a talk on property testing (aka invariant testing)

Three-contract marketplace system in Solidity / Foundry - accounting invariants verified by handler-based fuzz, MarketPlace with BPS fees / VIP tiers / promo codes / pull payments, Slither in workflow.

Shariah-compliant DeFi protocol — on-chain JHD effort units, ADS vulnerability discovery, Takaful Buffer | World's first Islamic finance invariant enforcement

Foundry Starter for SNX Rewards Manager, the most OG contract still used in prod. NOTE: This is a 0.8 port, DO NOT USE WITHOUT AUDIT!

Runtime testing harness for MCP servers: fuzz tools, validate schemas, run YAML invariants and multi-step sequences, ship SARIF to CI. 17 embedded packs · stdio + HTTP · 5 install paths.

An invariant-fuzzing harness for the Pyth Solana Receiver, run on Crucible

Differential equivalence tests for Taiko's Type-1 Ethereum-equivalence guarantee, as clean/planted twin Foundry projects. AI-augmented, hard-disclosed, Apache-2.0.

USD-pegged ERC20 stablecoin in Solidity/Foundry. 200% over-collateralized with WETH/WBTC, Chainlink-priced, invariant-fuzzed, Slither-gated in CI, deployed on Sepolia.

Defender-side stateful invariant harness for Euler Earn allocator + vault share accounting. Clean/planted twin pair against the Pashov Audit Group M-01 finding (2025-07-25) and Euler's fix commit. Real Euler Earn contracts (pinned submodule); no mocks except Euler Earn's own EVault strategy fixture. GPL-2.0-or-later.

Executable research lab for cross-standard asset semantics, protocol invariants, settlement risks, and cross-chain supply integrity.

Invariants and CI-runnable property tests for HyperEVM lending protocols that consume HyperCore oracle reads. Clean/planted twin methodology. Apache-2.0.

Invariant testing + planted-twin CI for BSC DeFi protocols. PancakeSwap v3 harness live; Venus and Stargate planned. Foundry, Apache-2.0.

Isolated, single-base money market on EVM. Compound III (Comet)-inspired architecture, fully original code. Index-based accounting, absorb liquidation, Pyth + Chainlink oracle, built around a provable-solvency thesis (unit, integration, fuzz, invariant and fork tested).

NFT marketplace built with Solidity & Foundry, featuring unit, fuzz, and invariant testing.

CI-verified cross-side conservation invariant reference for lock/mint bridges, anchored on the Verus-Ethereum 2026 case. Clean + planted-bug twin on every push. Apache-2.0.