spec-to-code-compliance
Verifies that a smart contract codebase implements exactly what its specification documents describe.
Official skills publisher
Verified
Skillscout rank 170
Page 2 of 2
Trail Of Bits
Trail Of Bits publishes official AI agent skills for its tools, services, and developer workflows.
Browse 120 official AI agent skills across 5 Trail Of Bits repositories, with install commands and source links.
120
Skills
5
Repositories
2,027
Installs
7,599
GitHub stars
Individual skills
120 skills from Trail Of Bits
101-120 of 120 skills
trailofbits/skills 19 skills
substrate-vulnerability-scanner
supply-chain-risk-auditor
testing-handbook-generator
token-integration-analyzer
ton-vulnerability-scanner
trailmark
trailmark-finding-triage
trailmark-review-gate
trailmark-structural
trailmark-summary
trailmark-variant-neighborhood
variant-analysis
Variant analysis skill for finding similar vulnerabilities across a codebase after an initial bug is identified.
vector-forge
vulnerability-triage-brocards
writing-lean-proofs
wycheproof
yara-rule-authoring
zeroize-audit
trailofbits/mewt 1 skill
add-language-support
No skills match this search.