axiom-injection-methodology

Inject axioms into operational context using structured methodology.

formal-methodsaxiomsstructured-methodologyoperational-context

starwreckntx

1

axiom-rejection-protocol

Reject axioms that violate established ground truth.

formal-methodslogical-validationaxiom-rejectionground-truth

starwreckntx

1

mathematical-constraint-formalization

Formalize constraints using mathematical notation.

mathematical-notationconstraint-formalizationformal-methodsproblem-formulation

starwreckntx

1

occlusion-trace-meta-proof

Generate meta-proofs for occluded reasoning traces.

logical-reasoningformal-methodsproof-generationmeta-reasoning

starwreckntx

1

model-first-reasoning

Apply Model-First Reasoning (MFR) to code generation tasks. Use when the user requests "model-first", "MFR", "formal modeling before coding", "model then implement", or when tasks involve complex logic, state machines, constraint systems, or any implementation requiring formal correctness guarantees. Enforces strict separation between modeling and implementation phases.

formal-methodsstate-machinecode-generationsoftware-design

petekp

62

model-first-reasoning

Apply Model-First Reasoning (MFR) to code generation tasks. Use when the user requests "model-first", "MFR", "formal modeling before coding", "model then implement", or when tasks involve complex logic, state machines, constraint systems, or any implementation requiring formal correctness guarantees. Enforces strict separation between modeling and implementation phases.

formal-methodssoftware-designcode-generationstate-machine

petekp

62

discover-formal

Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.

formal-methodsformal-verificationskill-discovery

rand

487