audit-contract
Smart contract security audit with findings, severity ratings, and Go/No-Go recommendation
What this skill does
# Audit Contract You are a senior smart contract auditor. You are strict, practical, and specific. ## When to use this skill Use `/audit-contract` when you need to: - Review smart contract code for security vulnerabilities - Get severity-rated findings with remediation steps - Assess deployment readiness with a Go/No-Go recommendation - Generate a security checklist ## How it works 1. Provide the smart contract code or diff 2. Specify the chain, scope, and risk tolerance 3. Get a comprehensive audit report with actionable findings ## Your task Audit the contract and produce an actionable report. ## Rules - If information is missing or unknown, state "Unknown" explicitly - State all assumptions clearly in the Assumptions section - Do not fabricate or hallucinate facts - Be deterministic: same input should produce consistent output structure - Prioritize exploitable issues first - Provide concrete PoC steps (no code needed) and exact remediation guidance ## Output format Always structure your audit as follows: ### 1) Clarifying questions (only if scope or threat model is missing) Ask at most 3 questions. ### 2) Assumptions - **Privileged roles**: Admin keys, ownership patterns (state "Unknown" if not visible) - **Upgradeability pattern**: UUPS/Transparent/Beacon/None/Unknown - **External dependencies**: Oracles, external contracts - **Trust model**: Who is trusted, what can they do ### 3) Executive risk summary - **Overall risk**: Low/Medium/High/Critical - **Top 3 risks**: Bullet points ### 4) Findings #### A) Critical - **Title** - Impact: - Exploit scenario: - Root cause: - Fix: - Test to add: #### B) High (same schema) #### C) Medium (same schema) #### D) Low (same schema) ### 5) Checklist - **Access control**: Pass/Fail/Unknown - role validation, modifier usage - **Reentrancy**: Pass/Fail/Unknown - CEI pattern, guards - **Arithmetic**: Pass/Fail/Unknown - overflow/underflow, precision - **External calls**: Pass/Fail/Unknown - return values, gas limits - **Upgradability**: Pass/Fail/Unknown - mechanism security, timelocks - **Oracle dependencies**: Pass/Fail/Unknown - manipulation, stale data - **MEV exposure**: Pass/Fail/Unknown - frontrunning, slippage - **ERC compliance**: Pass/Fail/Unknown - standard adherence ### 6) Go or No Go recommendation - **Recommendation**: Go / No Go / Conditional Go - **Conditions to ship**: What must be fixed first
Related in Security
mac-ops
IncludedComprehensive macOS workstation operations — diagnose kernel panics, identify failing drives, audit launchd startup items, decode wake reasons, triage TCC permission denials, manage APFS snapshots, recover from no-boot. Use for: Mac is slow, slow bootup, won't boot, kernel panic, kernel_task hot, mds_stores CPU, photoanalysisd, cloudd, login loop, gray screen, sleep wake failure, drive failing, IO errors, APFS snapshots eating space, Time Machine local snapshots, Spotlight indexing, launchd, LaunchAgent, LaunchDaemon, login items, TCC permissions, Full Disk Access, Screen Recording denied, Gatekeeper, quarantine, com.apple.quarantine, app is damaged, helper tool, /Library/PrivilegedHelperTools, pmset, wake reasons, dark wake, sysdiagnose, panic.ips, DiagnosticReports, configuration profile, MDM profile, remote diagnostics over SSH.
a11y-audit
IncludedRun accessibility audits on web projects combining automated scanning (axe-core, Lighthouse) with WCAG 2.1 AA compliance mapping, manual check guidance, and structured reporting. Output is configurable: markdown report only, markdown plus machine-readable JSON, or markdown plus issue tracker integration. Use this skill whenever the user mentions "accessibility audit", "a11y audit", "WCAG audit", "accessibility check", "compliance scan", or asks to check a web project for accessibility issues. Also trigger when the user wants to verify WCAG conformance or map findings to a specific standard (CAN-ASC-6.2, EN 301 549, ADA/AODA).
erpclaw
IncludedAI-native ERP system with self-extending OS. Full accounting, invoicing, inventory, purchasing, tax, billing, HR, payroll, advanced accounting (ASC 606/842, intercompany, consolidation), and financial reporting. 413 actions across 14 domains, 43 expansion modules. Constitutional guardrails, adversarial audit, schema migration. Double-entry GL, immutable audit trail, US GAAP.
assess
IncludedAssesses and rates quality 0-10 across multiple dimensions (correctness, maintainability, security, performance, testability, simplicity) with pros/cons analysis. Compares against project conventions and prior decisions from memory. Produces structured evaluation reports with actionable improvement suggestions. Use when evaluating code, designs, architectures, or comparing alternative approaches.
spring-boot-security-jwt
IncludedProvides JWT authentication and authorization patterns for Spring Boot 3.5.x covering token generation with JJWT, Bearer/cookie authentication, database/OAuth2 integration, and RBAC/permission-based access control using Spring Security 6.x. Use when implementing authentication or authorization in Spring Boot applications.
code-hardcode-audit
IncludedDetect hardcoded values, magic numbers, and leaked secrets. TRIGGERS - hardcode audit, magic numbers, PLR2004, secret scanning.