Skills
.Work. You
Rest

algorand-vulnerability-scanner

Official

Audit Algorand TEAL/PyTeal for vulnerabilities.

Software Engineering#security#vulnerability#audit#static-analysis#teal#algorand#pyteal
AuthorSuperlend
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill helps security engineers and auditors identify vulnerabilities in Algorand TEAL/PyTeal contracts by scanning source files and flagging common patterns based on Trail of Bits' Not So Smart Contracts database.

Core Features & Use Cases

  • Automated vulnerability detection across TEAL and PyTeal files.
  • Pattern coverage includes Rekeying, CloseRemainderTo, Asset/Group/OnComplete checks, and more (11 patterns).
  • Audit workflow integration with the Tealer toolchain to generate findings and remediation guidance for developers.
  • Use cases include pre-audit reviews, security training, and regression checks during contract upgrades.

Quick Start

Run the vulnerability scan against Algorand TEAL/PyTeal contracts in your repository with the recommended CLI, then review the generated report and remediation suggestions.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: algorand-vulnerability-scanner
Download link: https://github.com/Superlend/superloop-core-contracts/archive/main.zip#algorand-vulnerability-scanner

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.