Agent-Skills.md

Agent Skills: occlusion-trace-meta-proof

Generate meta-proofs for occluded reasoning traces.

logical-reasoningformal-methodsproof-generationmeta-reasoning
researchID: starwreckntx/IRP__METHODOLOGIES-/occlusion-trace-meta-proof

Repository

starwreckntx/IRP__METHODOLOGIES-
starwreckntx
1

Install this agent skill to your local

pnpm dlx add-skill https://github.com/starwreckntx/IRP__METHODOLOGIES-/occlusion-trace-meta-proof

Skill Files

Browse the full folder contents for occlusion-trace-meta-proof.

Download Skill

Loading file tree…

Select a file to preview its contents.