algorand-vulnerability-scanner
No security findings. Scanned 2 times, most recently 2026-02-06.
Second scanner: NVIDIA SkillSpector
The two scanners disagree: Cisco found nothing and SkillSpector says do not install. One of them has a blind spot here; read the skill before trusting either. How the two scanners compare across the whole corpus: Two scanners, one corpus.
What this skill does
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).
- Package
- 2 files, 21 KB
- SKILL.md
- 1152 words, 12+ sections
- Code
- None. Instructions only.
SKILL.md covers: Algorand Vulnerability Scanner · 1. Purpose · 2. When to Use This Skill · 3. Platform Detection · File Extensions & Indicators · Language/Framework Markers · PyTeal indicators · Common patterns · Project Structure · Tool Support · 4. How This Skill Works · 5. Example Output
Findings
No findings. SAFE
What is in the package
| File | Kind | Size |
|---|---|---|
SKILL.md | doc | 8.7 KB |
resources/VULNERABILITY_PATTERNS.md | doc | 12 KB |
External hosts referenced
developer.algorand.org github.com pyteal.readthedocs.io
Hostnames that appear in the skill's files. Referencing a host is not a finding; compare against the findings above and the skill's stated purpose.
Package contents recorded 2026-10-22 at commit a50696e20581. The scan above ran against the version current at scan time; the two can differ if the skill has since been updated.
What we checked
- Static analyzer. Pattern rules over SKILL.md and bundled files: known-bad commands, exfiltration URLs, secrets, obfuscation.
- Behavioral analyzer. Checks what the skill asks the agent to do against what its description claims it does.
- Llm analyzer. A language model reads the skill and reports intent-level issues the rules cannot express.
- Trigger analyzer. Looks for instructions that fire on conditions the user did not ask for.
- Meta analyzer. A second model pass that validates, deduplicates and re-scores the other analyzers' findings.
What we did not check
- Runtime behaviour. The skill was not executed; findings come from reading its files.
- Anything fetched at install or run time, including remote scripts, package dependencies, and URLs the skill tells the agent to open.
- Content the analyzers cannot read: images, binaries, and some non-English text.
- Known scanner bypass classes. See the methodology and limitations page.
Scan history
| Date | Verdict | Findings | Change | Analyzers | Raw |
|---|---|---|---|---|---|
| SAFE | 0 | -1 | static behavioral llm trigger meta | JSON | |
| SAFE | 1 | first scan | static behavioral llm trigger meta | JSON |
Sources
- Repository: https://github.com/trailofbits/skills
- Raw scan result: plugins-building-secure-contracts-skills-algorand-vulnerabilityner-scan.json
- Badge for your README:
- Request a re-scan