compact-core:compact-debugging

What problem does it solve?

This Skill helps developers rapidly find the root cause of Compact smart contract failures by orchestrating a disciplined debugging flow instead of guessing fixes, reducing wasted effort and preventing cascading errors.

Core Features & Use Cases

• Symptom-driven triage: Map compiler messages, disclosure warnings, witness mismatches, and runtime failures to focused investigation paths and domain skills.
• Process orchestration and verification: Run mechanical verification, form hypotheses, track fix attempts, and enforce escalation rules to avoid unsafe patching.
• Compatibility and escalation checks: Detect environment or version incompatibilities, recommend automated diagnostics, and surface architectural concerns when fixes repeatedly fail.

Quick Start

Ask the assistant to diagnose my Compact contract compilation or proof generation error, perform triage, and provide a root cause analysis with suggested fixes and verification steps.