Search

Backend & APIs · trailofbits/skills

9 skills found.
Search results
#SkillRepositoryStarsUsed inTokensAuto-checkLicenceUpdated
1

Scans Algorand TEAL and PyTeal contracts for 11 known vulnerability patterns, such as unchecked rekeying and fees, and reports each with severity and a fix.

trailofbits/skills7.5k—~3.1kAutomated safety check: PassCC-BY-SA-4.0yesterday
2

Scans Cairo and StarkNet contracts for 6 vulnerability patterns, including felt252 overflow, L1 to L2 messaging faults, address conversion and signature replay.

trailofbits/skills7.5k—~3.3kAutomated safety check: PassCC-BY-SA-4.0yesterday
3

Scores a smart contract or blockchain codebase across 9 maturity categories with evidence, then delivers a scorecard and a priority-ordered improvement roadmap.

trailofbits/skills7.5k—~1.8kAutomated safety check: PassCC-BY-SA-4.0yesterday
4

Scans Cosmos SDK modules and CosmWasm contracts for consensus-critical flaws that can halt a chain, lose funds or diverge state, using parallel scanning agents.

trailofbits/skills7.5k—~2.7kAutomated safety check: PassCC-BY-SA-4.0yesterday
5

Reviews a smart contract project against Trail of Bits development guidelines, covering documentation, architecture, upgradeability, implementation quality, dependencies and tests.

trailofbits/skills7.5k—~2.2kAutomated safety check: PassCC-BY-SA-4.0yesterday
6

Guides through Trail of Bits' 5-step secure development workflow.

trailofbits/skills7.5k—~1.7kAutomated safety check: PassCC-BY-SA-4.0yesterday
7

Token integration and implementation analyzer based on Trail of Bits' token integration checklist.

trailofbits/skills7.5k—~3.2kAutomated safety check: PassCC-BY-SA-4.0yesterday
8

Scans TON (The Open Network) smart contracts for 3 critical vulnerabilities including integer-as-boolean misuse, fake Jetton contracts, and forward TON without gas checks.

trailofbits/skills7.5k—~3.8kAutomated safety check: PassCC-BY-SA-4.0yesterday
9

Writes, reviews, and debugs property-based tests — Hypothesis, fast-check, proptest, jqwik, rapid, and Echidna or Medusa for Solidity invariants.

trailofbits/skills7.5k—~1.1kAutomated safety check: PassCC-BY-SA-4.0yesterday