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-/tree/HEAD/skills/occlusion-trace-meta-proof

Skill Files

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

Download Skill

Loading file tree…

skills/occlusion-trace-meta-proof/SKILL.md

Skill Metadata

Name
occlusion-trace-meta-proof
Description
Generate meta-proofs for occluded reasoning traces.

Instructions

  1. Initialize occlusion-trace-meta-proof operational context
  2. Execute primary protocol actions
  3. Validate results and generate output

Examples

  • "Execute occlusion-trace-meta-proof protocol"
  • "Run occlusion trace meta proof analysis"