安全与合规
15 个 Skill
cosmos-vulnerability-scanner
Scans Cosmos SDK blockchain modules and CosmWasm contracts for consensus-critical vulnerabilities — ...
secure-workflow-guide
Guides through Trail of Bits' 5-step secure development workflow. Runs Slither scans, checks special...
fp-check
Systematically verifies suspected security bugs to eliminate false positives, producing a TRUE POSIT...
goal-prompt
Drafts copy-paste-ready /goal commands for goal mode in Claude Code and Codex. Use when the user ask...
let-fate-decide
Draws the 12 Houses of the Zodiac Tarot spread to inject entropy into planning when prompts are vagu...
rust-review
Performs comprehensive Rust security review for safe/unsafe boundary issues, memory safety in unsafe...
sharp-edges
Identifies error-prone APIs, dangerous configurations, and footgun designs that enable security mist...
supply-chain-risk-auditor
Audits a project's dependencies for supply-chain risk: version-matched advisories for direct depende...
constant-time-testing
Measures timing side channels in cryptographic implementations by running them, using dudect for sta...
mermaid-to-proverif
Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verifica...
trailmark-finding-triage
Performs graph-assisted triage of a single security finding, SARIF result, weAudit annotation, suspi...
trailmark-review-gate
Runs a Trailmark structural review gate over a branch, pull request, fix commit, release diff, or gi...
variant-analysis
Hunts for the other instances of a bug already found — the variants of one root cause across a codeb...
security-auditor
Continuous security vulnerability scanning for OWASP Top 10, common vulnerabilities, and insecure pa...
semgrep
-