compact-core:compact-review

What problem does it solve?

Provides a structured, checklist-driven process to audit Compact smart contracts, TypeScript witness implementations, and related tests so reviewers can find privacy leaks, security defects, correctness issues, and documentation gaps efficiently.

Core Features & Use Cases

• Category-driven checklists: Ten focused review categories (privacy, security, token economics, concurrency, compilation, performance, architecture, code quality, testing, documentation) to ensure comprehensive coverage.
• Mechanical verification: Guidance to run mechanical verification (/midnight-verify:verify) for compilation, type safety, and witness consistency and to include those results in reports.
• Actionable output: Standardized finding format grouped by severity with clear problem, impact, and fix recommendations plus Positive Highlights to summarize strengths.
• Use Case: Use during pull requests or security audits to produce a repeatable, evidence-based code review that cites Merkle/ADT usage, disclose() placement, and pure-circuit candidates.

Quick Start

Ask the skill to review a Compact contract and produce checklist findings grouped by severity, including verification results from /midnight-verify:verify.