compact-core

Plugin compact-core from marketplace midnight-expert in midnightntwrk/midnight-expert. Commands read from the repo's manifest — 12 days ago.

Skills (15)

• compact-core:basic-start

  This skill should be used when the user asks to "build my first Midnight DApp", "getting started from scratch", "verify my environment", "basic DApp tutorial", "test my Midnight setup", "hello world walkthrough", "new to Midnight", "first contract", "walk me through building a contract", or wants a

• compact-core:compact-circuit-costs

  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 benefi

• compact-core:compact-debugging

  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 comp

• compact-core:compact-init-project

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

• compact-core:compact-language-ref

  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 funct

• compact-core:compact-ledger

  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 MerkleTr

• compact-core:compact-patterns

  This skill should be used when the user asks about Compact contract design patterns, reusable building blocks, or how to combine patterns. Covers access control (owner-only, RBAC, pausable, initializable), state management (state machine, time-locked), commitment schemes (commit-reveal, sealed-bid a

• compact-core:compact-privacy-disclosure

  This skill should be used when the user asks about Midnight's privacy model, the disclose() function and disclosure rules, how to fix disclosure compiler errors, privacy-by-default design, witness protection program, commitment schemes (persistentCommit, transientCommit), nullifier patterns for doub

• compact-core:compact-review

  This skill should be used when reviewing Compact smart contract code, TypeScript witness implementations, or test files for a Midnight project. Applies when a user asks to "review my Compact contract", "audit this smart contract", "check my Midnight code", or "run a code review checklist". Provides

• compact-core:compact-security

  This skill should be used when performing a security review or audit of Compact smart contract code, or when reasoning about Compact's security threat model. Covers the three execution contexts (public ledger, ZK circuit, local witness), the witness trust boundary and the ownPublicKey()-for-authoriz

• compact-core:compact-standard-library

  This skill should be used when the user asks about the Compact standard library (CompactStandardLibrary), stdlib types (Maybe, Either, JubjubPoint, MerkleTreeDigest, MerkleTreePath, ContractAddress, ZswapCoinPublicKey, UserAddress), deprecated stdlib names (CurvePoint, NativePoint, CoinInfo), stdlib

• compact-core:compact-structure

  This skill should be used when the user asks to write, structure, or scaffold a Compact smart contract for Midnight, or asks about contract anatomy, pragma and imports, ledger declarations (including sealed ledger), data types (Field, Bytes, Uint, enums, structs), circuits, witnesses, constructors,

• compact-core:compact-tokens

  This skill should be used when the user asks about Midnight tokens, token types (NIGHT, DUST, shielded, unshielded), minting and burning tokens, token transfers, token colors and domain separators, the zswap protocol, ShieldedCoinInfo, QualifiedShieldedCoinInfo, Kernel mint operations, contract toke

• compact-core:compact-transaction-model

  This skill should be used when the user asks about Midnight transaction execution, guaranteed vs fallible phases, kernel.checkpoint(), transaction composition, state conflicts, DUST fees, gas limits, proof verification, partial transaction success, transaction merging, atomic swaps, or how Compact c

• compact-core:compact-witness-ts

  This skill should be used when the user asks about implementing Compact witness functions in TypeScript, the WitnessContext pattern, private state management, Compact-to-TypeScript type mappings (Field to bigint, Bytes to Uint8Array, Uint to bigint), compiler-generated .d.ts files (Witnesses interfa

Slash commands (3)

• /compact-core:audit-compact

  Deep adversarial security audit of Compact smart contract code. Runs a single security-reviewer specialist over the threat model, then confirms Critical/High findings via midnight-verify and synthesizes a consolidated security report. Security-only; for a full 10-category review use /compact-core:re

• /compact-core:debug-contract

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

• /compact-core:review-compact

  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.

Subagents (3)

• compact-dev

  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.

• reviewer

  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 t

• security-reviewer

  Use this agent to perform a focused, adversarial SECURITY review of Compact smart contract code. Unlike the command-only `reviewer` agent, this agent is directly invocable by users and by other agents. It performs a single coherent threat-model pass (witness trust boundary, access control, cryptogra

Hooks (4)

• SessionStart

  bash ${CLAUDE_PLUGIN_ROOT}/scripts/SessionStart.sh

• SessionStart

  bash ${CLAUDE_PLUGIN_ROOT}/scripts/hooks/SessionStart-compact-check.sh

• Stop

  bash ${CLAUDE_PLUGIN_ROOT}/scripts/hooks/Stop.sh

• SessionEnd

  bash ${CLAUDE_PLUGIN_ROOT}/scripts/hooks/SessionEnd.sh

Similar plugins