SKILL·D99F25

algorand-vulnerability-scanner

trailofbits
Updated 2 months ago
25 views
6,147
540
6,147
View on GitHub
Testinggeneral

About

This skill scans Algorand smart contracts (TEAL/PyTeal) for 11 common security vulnerabilities like rekeying attacks and access control issues. It's designed for developers to use during security audits or pre-audit assessments of Algorand projects. The tool systematically checks code against documented vulnerability patterns specific to Algorand's transaction model.

Quick Install

Claude Code

Recommended
Primary
npx skills add trailofbits/skills -a claude-code
Plugin CommandAlternative
/plugin add https://github.com/trailofbits/skills
Git CloneAlternative
git clone https://github.com/trailofbits/skills.git ~/.claude/skills/algorand-vulnerability-scanner

Copy and paste this command in Claude Code to install this skill

GitHub Repository

trailofbits/skills
Path: plugins/building-secure-contracts/skills/not-so-smart-contracts-scanners/algorand-vulnerability-scanner
0
agent-skills
FAQ

Frequently asked questions

What is the algorand-vulnerability-scanner skill?

algorand-vulnerability-scanner is a Claude Skill by trailofbits. Skills package instructions and resources that Claude loads on demand, so Claude can perform algorand-vulnerability-scanner-related tasks without extra prompting.

How do I install algorand-vulnerability-scanner?

Use the install commands on this page: add algorand-vulnerability-scanner to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.

What category does algorand-vulnerability-scanner belong to?

algorand-vulnerability-scanner is in the Testing category, tagged general.

Is algorand-vulnerability-scanner free to use?

Yes. algorand-vulnerability-scanner is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.

Related Skills

evaluating-llms-harness
Testing

This Claude Skill runs the lm-evaluation-harness to benchmark LLMs across 60+ standardized academic tasks like MMLU and GSM8K. It's designed for developers to compare model quality, track training progress, or report academic results. The tool supports various backends including HuggingFace and vLLM models.

View skill
cloudflare-cron-triggers
Testing

This skill provides comprehensive knowledge for implementing Cloudflare Cron Triggers to schedule Workers using cron expressions. It covers setting up periodic tasks, maintenance jobs, and automated workflows while handling common issues like invalid cron expressions and timezone problems. Developers can use it for configuring scheduled handlers, testing cron triggers, and integrating with Workflows and Green Compute.

View skill
webapp-testing
Testing

This Claude Skill provides a Playwright-based toolkit for testing local web applications through Python scripts. It enables frontend verification, UI debugging, screenshot capture, and log viewing while managing server lifecycles. Use it for browser automation tasks but run scripts directly rather than reading their source code to avoid context pollution.

View skill
finishing-a-development-branch
Testing

This skill helps developers complete finished work by verifying tests pass and then presenting structured integration options. It guides the workflow for merging, creating PRs, or cleaning up branches after implementation is done. Use it when your code is ready and tested to systematically finalize the development process.

View skill