sc-audit
Security auditor for smart contracts - identifies vulnerabilities, logic flaws, reentrancy, access control issues, MEV/economic attacks, and oracle manipulation. Use when auditing Solidity, Vyper, or Rust/Ancho...
Discover blockchain smart contracts skills, compare source repositories and read the instructions for each workflow.
Security auditor for smart contracts - identifies vulnerabilities, logic flaws, reentrancy, access control issues, MEV/economic attacks, and oracle manipulation. Use when auditing Solidity, Vyper, or Rust/Ancho...
Eiffel programming expert with Design by Contract, working hats, OOSC2 principles, Meyer's verification process, and simple_* ecosystem knowledge. Use when working with Eiffel code, .e files, .ecf configs, or w...
Enforces Boklo Wallet’s backend-authoritative, event-driven FinTech architecture. Rejects any suggestion that violates the Source of Truth.
Use when testing smart contracts with Hardhat v2 ONLY - NOT compatible with Hardhat v3. Use when testing against deployed mainnet/testnet contracts, need to impersonate existing addresses without private keys,...
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.