secure-workflow-guide
About
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.
Quick Install
Claude Code
Recommendednpx 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-guideCopy and paste this command in Claude Code to install this skill
GitHub Repository
Frequently asked questions
What is the secure-workflow-guide skill?
secure-workflow-guide is a Claude Skill by plurigrid. Skills package instructions and resources that Claude loads on demand, so Claude can perform secure-workflow-guide-related tasks without extra prompting.
How do I install secure-workflow-guide?
Use the install commands on this page: add secure-workflow-guide to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.
What category does secure-workflow-guide belong to?
secure-workflow-guide is in the building-secure-contracts category, tagged word, ai, automation and design.
Is secure-workflow-guide free to use?
Yes. secure-workflow-guide is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.
Related Skills
This skill scans Cairo/StarkNet smart contracts for six critical security vulnerabilities like arithmetic overflow and messaging issues. Use it during smart contract audits to automatically detect common security flaws in StarkNet projects. It's particularly valuable for developers building or reviewing secure Cairo contracts.
This skill scans Solana and Anchor programs for six critical security vulnerabilities like arbitrary CPI and improper PDA validation. Developers should use it when auditing smart contracts to automatically identify common security flaws. It provides automated security analysis to help build more secure Solana programs.
This skill analyzes token implementations and integrations for security risks based on Trail of Bits' checklist. It checks ERC20/ERC721 conformity, detects unusual token patterns, and assesses contract privileges and scarcity. Use it when integrating tokens into protocols or auditing token contracts for non-standard behavior.
This skill scans Substrate/Polkadot blockchain pallets for seven critical security vulnerabilities like arithmetic overflows and bad origin checks. Use it when auditing Substrate runtimes or FRAME pallets to automatically detect common security issues. It's ideal for developers building or reviewing secure smart contracts on Polkadot.