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.

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.

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

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

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

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.

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

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

Cross-VM defender-side pre-deploy CI benchmark: historical DeFi exploits as same-source clean/planted twins where an invariant property catches the bug class in CI. Cairo/Move/Solana/EVM. Apache-2.0.

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.

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

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.

🪙 MDSC: USD-pegged decentralized stablecoin built in Vyper (DSCEngine + Chainlink-style oracles) with 80%+ unit + fuzz/invariant test coverage. Deployed on zkSync Sepolia.

This is considered an Exogenous, Decentralized, Anchored (pegged), Crypto Collateralized low volatility coin.

Fusion Prime Core Implementation