compact-core:testing-debugging
CommunityStreamline Compact contract debugging and tests.
Software Engineering#testing#debugging#unit-testing#error-messages#testing-patterns#compact#witnesses
Authoraaronbassett
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Compact contract development often stalls on cryptic error messages and tangled test setups. This Skill provides structured debugging guidance, testing patterns, and practical witness-mocking techniques to accelerate diagnosis and resolution.
Core Features & Use Cases
- Guidance on common error messages (e.g., potential witness-value disclosure, circuit constraint failed)
- Decision trees for debugging compilation and proof generation
- Patterns for unit tests, witness mocking, state verification, and deterministic testing using TypeScript
Quick Start
Create a minimal failing case and run tests to reproduce the error, then inspect the diagnostics to guide fixes.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: compact-core:testing-debugging Download link: https://github.com/aaronbassett/midnight-knowledgebase/archive/main.zip#compact-core-testing-debugging Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.