Audit Clarity smart contracts for correctness, design, and deployment risks.
npx skills add https://github.com/aibtcdev/skills --skill clarity-audit-aibtcdev
Please help me install this Agent Skill. Skill: clarity-audit Source: https://github.com/aibtcdev/skills/tree/main/clarity-audit Command: npx skills add https://github.com/aibtcdev/skills --skill clarity-audit-aibtcdev
Automates rigorous security audits for Clarity smart contracts to identify correctness issues, design concerns, and deployment readiness.
Run a full audit on a Clarity contract by providing the path to the .clar source file.
High-intent search queries and answers about installing and using this skill.
To run a security audit on a Clarity smart contract, provide the path to your .clar source file. The audit identifies correctness issues, design concerns, and deployment risks, returning structured JSON outputs with risk levels and remediation guidance.
Static analysis for Clarity contracts is an automated review process that detects security vulnerabilities and design concerns before deployment. You need it for pre-deployment reviews, third-party contract evaluations, and multi-contract analysis to ensure deployment readiness.
Yes, you can use automated auditing tools for multi-contract Clarity projects. The audit supports end-to-end analysis across a project, evaluating third-party contracts and generating structured JSON outputs suitable for multi-contract reviews.
Yes, Clarity security auditing supports quick checks and function reviews through dedicated subcommands. These workflows allow targeted end-to-end analysis, enabling both rapid preliminary scans and detailed function-level evaluations.
The best way to integrate smart contract audit results into CI checks is by using structured JSON outputs. These outputs deliver consistent verdicts and risk levels, enabling automated pipelines to evaluate deployment readiness and enforce remediation.
nikhillinitDetect security vulnerabilities, secrets, and misconfigurations in codebases.
sgcarstrendsIdentify security vulnerabilities in npm dependencies using pnpm audit and Snyk.
hairyfConfigure Hardhat compilation, deployment, and testing for TRON blockchain.
ofelixdevScan Algorand smart contracts in TEAL or PyTeal for 11 security vulnerabilities.
