not-so-smart-contracts-scanners

@trailofbits/not-so-smart-contracts-scanners

trailofbits

1,280

96 forks

Updated 1/18/2026

View on GitHub

algorand-vulnerability-scanner: Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues. Use when auditing Algorand projects (TEAL/PyTeal). (project, gitignored)

Installation

$skills install @trailofbits/not-so-smart-contracts-scanners

Claude Code

Cursor

Copilot

Codex

Antigravity

Details

Repositorytrailofbits/skills

Pathplugins/building-secure-contracts/skills/not-so-smart-contracts-scanners/algorand-vulnerability-scanner/SKILL.md

Branchmain

Scoped Name@trailofbits/not-so-smart-contracts-scanners

Usage

After installing, this skill will be available to your AI coding assistant.

Verify installation:

skills list

More by trailofbits

View all

fuzzing-dictionary

1,280

Fuzzing dictionaries guide fuzzers with domain-specific tokens. Use when fuzzing parsers, protocols, or format-specific code.

fuzzing-obstacles

1,280

Techniques for patching code to overcome fuzzing obstacles. Use when checksums, global state, or other barriers block fuzzer progress.

harness-writing

1,280

Techniques for writing effective fuzzing harnesses across languages. Use when creating new fuzz targets or improving existing harness code.

coverage-analysis

1,280

Coverage analysis measures code exercised during fuzzing. Use when assessing harness effectiveness or identifying fuzzing blockers.