vantasnerdan/substrate-framework
Skill Claude CodeCodex
Run persistent, verifier-backed physics research and framework reconciliation from candidate generation through claim-level promotion. Use for physics derivations, equations, ODE/PDE work, symbolic or numeric checks, simulations, Lean formalization, campaign design, claim migration, framework-wide consistency audits…
vantasnerdan/substrate-framework
Skill Claude CodeCodex
Autonomously process externally supplied research pull requests or terminal campaign pull requests after their success-or-exhaustion gate has opened. Use when the user supplies a PR URL or number, asks what to merge from an existing scientific PR, or needs merge eligibility separated from claim promotion and goal…
vantasnerdan/substrate-framework
Skill Claude CodeCodex
Read BEFORE freezing the design of any numerical verifier whose gates include a soft Hessian eigenvalue, lambdamin or Morse-index claim, a stability-window edge, a force, or an energy difference or splitting that could sit within about three orders of magnitude of the discretization, quadrature, or roundoff floor …
vantasnerdan/substrate-framework
Skill Claude CodeCodex
Compose accepted Substrate Framework claims into a new higher theorem and carry it through proof, review, registry promotion, and release. Use for synthesis campaigns, composite or synthesized claims, cross-sector theorem discovery, SymPy glue chains, Lean end-to-end formalization, conditional interpretive theorems…
vantasnerdan/substrate-framework
Instructions file CodexOpenCode
Instructions for vantasnerdan/substrate-framework, covering substrate framework agent contract, goal, campaign continuity and terminal pull requests, definition of success and authority and provenance.
vantasnerdan/substrate-framework
Skill Claude CodeCodex
CLI commands, patterns, and integration guide for agent-memory.