secure-workflow-guide
关于
This skill guides developers through Trail of Bits' 5-step security workflow for smart contracts. It automates Slither analysis, checks for specific features like upgradeability, and generates security diagrams. Use it to systematically document security properties and review critical areas in your Solidity project.
快速安装
Claude Code
推荐npx skills add plurigrid/asi -a claude-code/plugin add https://github.com/plurigrid/asigit clone https://github.com/plurigrid/asi.git ~/.claude/skills/secure-workflow-guide在 Claude Code 中复制并粘贴此命令以安装该技能
GitHub 仓库
相关推荐技能
code-maturity-assessor
其他这个Skill使用Trail of Bits的9类框架系统评估代码成熟度，帮助开发者识别智能合约的安全风险和代码质量问题。它能分析算术安全性、访问控制、文档化、测试覆盖等关键维度，生成包含证据评级和可操作建议的专业评分卡。适合开发者在代码审计、安全审查和项目质量评估时使用。
substrate-vulnerability-scanner
其他这是一个用于审计Substrate/Polkadot智能合约的安全扫描工具，能检测算术溢出、panic DoS、权重计算错误和权限检查漏洞等7类关键安全问题。开发者可在审计FRAME pallets或运行时模块时使用它来识别安全风险。该工具由Trail of Bits开发，特别适合在部署前对区块链合约进行安全检查。
ton-vulnerability-scanner
其他这是一个用于TON智能合约安全审计的Claude Skill，专门检测三种关键漏洞：整数作为布尔值误用、虚假Jetton合约和未检查gas的TON转发。它适用于开发者在审计FunC合约时快速识别安全风险，由Trail of Bits开发，能帮助提升合约安全性。
solana-vulnerability-scanner
其他该Skill用于审计Solana/Anchor智能合约，可扫描6类关键安全漏洞，包括任意CPI调用、PDA验证不当和签名者检查缺失等。它能帮助开发者在部署前识别常见安全风险，适用于智能合约安全审查场景。作为Trail of Bits提供的安全工具，需要参考原仓库获取详细使用指南。