cairo-vulnerability-scanner
Scans Cairo/StarkNet smart contracts for critical security vulnerabilities including arithmetic overflows, L1-L2 messaging issues, and unauthorized access.
Explore AI agent skills related to 靜態分析. Browse installable Claude Code and automation skills on Mentalok Skills Hub.
Discover reusable agent skills, browse implementation details, and find the right skill for your workflow.
39 skills found
Scans Cairo/StarkNet smart contracts for critical security vulnerabilities including arithmetic overflows, L1-L2 messaging issues, and unauthorized access.
Master binary analysis, disassembly, and decompilation. Identify instruction patterns, calling conventions, and control flow logic to analyze executables and compiled code.
Prepares codebases for security review using Trail of Bits' systematic audit preparation checklist, covering static analysis, test coverage, dead code removal, documentation, and build environment verification.
Analyze Algorand TEAL and PyTeal smart contracts for 11 critical security vulnerabilities including rekeying attacks, logic flaws, and transaction validation errors.
An intelligent development orchestration skill that provides self-improving code analysis, build error diagnosis, and automated workflow configuration via mcp-prompts integration.
Analyze C++ code for real-time safety violations including heap allocations, locks, blocking calls, and non-deterministic operations in high-performance audio threads.
Automated Vercel production deployment agent that fetches logs via MCP, identifies build errors, applies fixes, and retries until success.
Audit AI skills for security vulnerabilities including prompt injection, hidden instructions, tool misuse, and data exfiltration risks.
Expert code reviewer for Rust projects. Performs comprehensive quality, security, performance, and architectural analysis using Bazel and project-specific conventions.
Systematic debugging workflow for MCP servers and Microsoft Copilot Studio integrations, featuring common fix patterns and validation scripts.
A security scanner for Claude Skills to detect malicious code, data exfiltration risks, and unauthorized system access before installation.
Executes standard Deno linting, formatting, and type-checking for the vibe-kanban CLI codebase.