occlusion-trace-meta-proof

Generate meta-proofs for occluded reasoning traces.

logical-reasoningformal-methodsproof-generationmeta-reasoning

starwreckntx

1

sequential-thinking

Dynamic problem-solving through structured sequential thoughts. Use when breaking down complex problems, planning multi-step solutions, analyzing ambiguous requirements, debugging intricate issues, exploring design alternatives, or tackling problems where the full scope is unclear. Enables thought revision, branching, and iterative refinement.

problem-framingiterative-developmentlogical-reasoningbranching

huynguyen03dev

1