Menu
智能合约审计：重入攻击检测、整数溢出检查与常见漏洞模式启发式扫描。源码字符串启发式检测，非形式化验证工具；不可用于智能合约安全背书或正式审计；不适用于实盘DeFi项目安全评估。
The review-first prompt is selected by default. You can switch to a direct command or download a local copy.
Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
A direct command skips the review prompt. Inspect the source before running it.
npx skills add https://github.com/openJiuwen-ai/agent-store --skill smart-contract-auditThe command stays on one line. Scroll horizontally to inspect it before copying.
Prefer a local copy? Download the files currently available to SkillsMP.
Based on SOC occupation classification
Showing SKILL.md
| name | smart-contract-audit |
| description | 智能合约审计：重入攻击检测、整数溢出检查与常见漏洞模式启发式扫描。源码字符串启发式检测，非形式化验证工具；不可用于智能合约安全背书或正式审计；不适用于实盘DeFi项目安全评估。 |
| version | 1.0.0 |
| author | wangyi |
智能合约审计工具，实现重入攻击（Reentrancy）检测、整数溢出检查、权限控制分析、常见漏洞模式扫描。仅使用 Python 标准库。
detect_reentrancy(code)检测重入攻击漏洞。 必填: code
detect_integer_overflow(code)检测整数溢出风险。 必填: code
detect_access_control_issues(code)检测权限控制问题。 必填: code
detect_other_vulnerabilities(code)检测其他常见漏洞。 必填: code
audit_contract(code, check_types=None)智能合约综合审计。 必填: code
python scripts/main.py \
--code <code> \
--check-types <check_types> \