compact-core

Systematic debugging for Compact smart contracts — analyzes errors, investigates root causes, and guides fixes

Comprehensive review of Compact smart contract code covering 10 categories including privacy, security, tokens, concurrency, performance, and more, plus mechanical verification via /midnight-verify:verify. Supports parallel execution via agent teams (when enabled) or concurrent subagents.

Use this agent when you need to write, generate, review, or fix Compact smart contract code for the Midnight blockchain. This includes creating new contracts, modifying existing ones, fixing compilation errors, implementing privacy patterns, or answering questions about Compact syntax and semantics. Example 1: User needs a new smart contract — "Write a Compact contract for a simple voting system." The compact-dev agent has deep knowledge of Compact syntax, privacy patterns, and can validate compilation. Example 2: User has a compilation error — "I'm getting an implicit disclosure of witness value error." Compact disclosure errors require understanding of disclose() placement rules. The compact-dev agent specializes in these patterns. Example 3: User wants a privacy pattern — "I need nullifier-based double-spend prevention." Privacy patterns like nullifiers, commitments, and Merkle proofs are core Compact competencies. Example 4: User wants shielded token functionality — "How do I implement shielded transfers using zswap?" Shielded token operations require precise knowledge of stdlib coin management functions, UTXO model, and nonce management. Example 5: After writing a counter contract with witnesses — the compact-dev agent compiles, then runs /midnight-verify:verify contracts/counter.compact src/witnesses.ts to mechanically verify the contract-witness interface before presenting to user.

Use this agent when you need a focused review of Compact smart contract code in a specific category. Dispatched by the review-compact command with a category assignment. Not intended for direct user invocation. Example 1: Dispatched by review-compact command for privacy review — the command spawns this agent with a specific category and file list. The agent loads the compact-review skill reference for its category. Example 2: Dispatched for security review of token contract — same agent, different category assignment. Loads token-security-review.md reference.

This skill should be used when the user asks about Compact circuit costs, ZK proof generation costs, gate counts, loop unrolling behavior, hash function cost tradeoffs (transientHash vs persistentHash), commitment function costs (transientCommit vs persistentCommit), pure circuit optimization benefits, vector operation costs (map/fold/slice unrolling), compiler optimization passes, runtime gas model (readTime, computeTime, bytesWritten, bytesDeleted), ledger state storage costs, privacy-cost tradeoffs, or how to write cost-efficient Compact smart contracts on Midnight.

This skill should be used when a user needs help debugging Compact smart contract errors, including compiler failures ("parse error", "unbound identifier"), proof generation issues, TypeScript witness type mismatches, disclosure errors ("potential witness-value disclosure must be declared"), or compatibility problems between Midnight components. Also applies when a user says their contract "won't compile", "worked before but broke after update", or when consecutive fix attempts keep revealing new errors. This skill orchestrates the debugging process and routes to domain-specific compact-core skills.

This skill should be used when the user asks to create a new Midnight project, scaffold a Compact smart contract project, use create-mn-app, initialize a DApp, set up a new Midnight application, start a new project, use a project template, set up hello-world or counter template, or set up a Midnight development environment for the first time. Also triggered by "new project", "start a project", "init project", "create-mn-app", or "scaffold".

This skill should be used when the user asks about Compact language mechanics, syntax reference, types (Field, Bytes, Uint, Boolean, Opaque, Vector, Maybe, Either, enums, structs), type casting with "as", operators, arithmetic, control flow, for loops, modules, imports, include, pragma, stdlib functions (persistentHash, transientHash, disclose, assert, pad, default), map and fold operations, or Compact compiler errors and wrong syntax patterns.

This skill should be used when the user asks about Compact ledger declarations, ledger modifiers (export, sealed), ledger ADT types (Counter, Map, Set, List, MerkleTree, HistoricMerkleTree), ADT operations and methods, constructor initialization of state, state design choices (Map vs Set vs MerkleTree, Counter vs Uint), nested ADT composition, on-chain privacy and visibility of state operations, disclosure rules for ledger writes including disclose() usage, default<T> for ADT initialization, the Kernel ledger and kernel.self(), or the Midnight token and coin system (ShieldedCoinInfo, QualifiedShieldedCoinInfo, zswap).

1 hook across 1 event