{"repo":"pantheraudits/move-auditor","free":true,"listed":false,"github":"https://github.com/pantheraudits/move-auditor","clone":"git clone https://github.com/pantheraudits/move-auditor.git","description":"Skill for move smart contract security auditing.","language":null,"stars":20,"topics":["ai","aptos","move","security","skills","sui","web3","claude","agent-skills","codex"],"license":null,"category":"blockchain-web3","readme_excerpt":"move-auditor Codex and Claude Code skill for Move smart contract security auditing Built by Panther --- A portable skill for Codex and Claude Code that turns your AI coding agent into a Move (Sui & Aptos) smart contract security auditor — battle-tested vulnerability patterns drawn from real-world exploits, ready to hunt bugs the moment you open a .move file. Read the full write-up: The Move Auditor — Blog Post --- Features - 220+ vulnerability patterns across chain-agnostic, Sui-specific, Aptos-specific, and DeFi checks - Auto-activates on .move files — no setup, no slash commands needed - 8-phase audit workflow — from codebase mapping to verified, triaged report - Anti-false-positive engine — confidence gating, evidence chains, FP catalog, and self-hallucination checks - Build & test log analysis — catches arithmetic aborts, assertion failures, and #[expected failure] anomalies - Production-surface parity — verifies that annotations and auxiliary-tool labels do not accidentally leave public helpers in production bytecode - Signal-based coverage routing — detects protocol type and loads only relevant patterns - DeFi deep-dive — 95 patterns covering staking, oracles, lending, liquidation, slippage, auctions, and signatures - Semantic gap detection — stale state, accumulator drift, cross-module accounting desync - Real-world validated — findings accepted into production codebases (see below) --- Install Codex Restart Codex after installing or updating so it reloads the skill in","default_branch":null,"files":null,"tree":[],"storefront":"/r/pantheraudits","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/pantheraudits/move-auditor/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}