occlusion-trace-meta-proof
CommunityGenerate meta-proofs for occluded reasoning traces.
Authorstarwreckntx
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill creates meta-proofs to elucidate occluded reasoning traces, improving transparency of hidden steps.
Core Features & Use Cases
- Trace Elucidation: Produce meta-proofs for hidden reasoning segments.
- Proof Integration: Integrate proofs into traceability reports.
- Use Case: Provide verifiable justification for a non-obvious inference path.
Quick Start
Generate a meta-proof for an occluded trace in the current reasoning session.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 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: occlusion-trace-meta-proof Download link: https://github.com/starwreckntx/IRP__METHODOLOGIES-/archive/main.zip#occlusion-trace-meta-proof Please download this .zip file, extract it, and install it in the .claude/skills/ directory.