Synaptic SkillsSynapticSkills
MarketplaceSkill GraphCriar SkillMCP ServerPlataformaEnterprise
v0.1.0-beta
Voltar ao Marketplace
SecurityAvançado

Algorand Vulnerability Scanner

portrailofbits·trailofbits· v1.0.0 · atualizado em 2026-04-10
79
Score

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).

algorandsmart-contractsecurity-auditvulnerability-scanningtealpytealstatic-analysisblockchain
0Stars
0Forks
0Usos
Fork

Documento do Skill

SKILL.mdalgorand-vulnerability-scanner/workflow
1
Identify TEAL/PyTeal files: — Search codebase for `.teal` and `.py` files.
2
Determine Contract Type: — Identify if it's a stateful application or smart signature.
3
Static Analysis with Tealer: — Run Tealer to automatically detect vulnerabilities.
4
Manual Vulnerability Sweep: — Check for 11 common Algorand vulnerabilities.
5
Transaction Field Validation: — Verify validation logic for transaction fields.
6
Report Findings: — Generate a report with vulnerability details and recommendations.
7
Testing: — Perform unit and scenario testing to validate fixes.

Telemetria de Agentes

Execuções
0
total
Taxa de Sucesso
0%
últimos 30d
Latência Média
0.0s
p50
Alucinação
0.0%
detecção
Tokens Entrada
0
avg 0/exec
Tokens Saída
0
avg 0/exec

Uso por Plataforma

Skills Relacionados

Similar aWallet Policy Generator
60%
Hebbian Synapse
Composite0.600
w = 0.3·α + 0.5·β + 0.2·γ
84
Similar aQuery Token Audit Skill
60%
Hebbian Synapse
Composite0.600
w = 0.3·α + 0.5·β + 0.2·γ
79
Similar aSpring Boot Security Review
60%
Hebbian Synapse
Composite0.600
w = 0.3·α + 0.5·β + 0.2·γ
80

Árvore do Skill

Algorand Vulnerability Scanner
algorand-vulnerability-scanner
Fases Cognitivas5
1.SENSE
2.CONTEXTUALIZE
3.EVALUATE
4.RECOMMEND
5.REFLECT
Triggers7
scan algorand contract for vulnerabilitiesaudit teal code for security issuescheck algorand smart contract for rekeying attackfind vulnerabilities in pyteal coderun security audit on algorand applicationanalyze algorand smart contractcheck for common algorand vulnerabilities

Avaliar este Skill

Score Breakdown

⭐Avaliação Humana0%
🤖Sucesso de Agentes0%
🕐Atualidade100%
🔗Saúde de Dependências100%
🕸️Centralidade no Grafo0%
🛡️Segurança50%
CompositeScore = α·Humano + β·Agente + γ·Recência + δ·Deps + ε·Centralidade + ζ·Segurança

Instalação

$ synaptic mcp download algorand-vulnerability-scanner
$ synaptic skills detail algorand-vulnerability-scanner
$ synaptic skills live algorand-vulnerability-scanner

Dependências

tealeralgosdkpyteal

Links

GitHub Repository