Claim-governed, agentic workflow for substrate physics framework
6 files for Codex and OpenCode: physics-erdos-loop, research-pr-harvest, small-ratio-numerics, theorem-synthesis and 2 more — 3,956 tokens loaded in every session.
AGENTS.md A 3,956 tok .agents/skills/physics-erdos-loop/SKILL.md A 78 tok .agents/skills/research-pr-harvest/SKILL.md A 65 tok .agents/skills/small-ratio-numerics/SKILL.md A 169 tok .agents/skills/theorem-synthesis/SKILL.md A 70 tok .agents/skills/physics-discovery/SKILL.md A 66 tok These files are vantasnerdan/substrate-framework's own configuration — they tell Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.