occlusion-trace-meta-proof
Generate meta-proofs for occluded reasoning traces.
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.
chain-of-thought
Step-by-step reasoning patterns for complex problem solving
sequential-thinking
Use when complex problems require systematic step-by-step reasoning with ability to revise thoughts, branch into alternative approaches, or dynamically adjust scope. Ideal for multi-stage analysis, design planning, problem decomposition, or tasks with initially unclear scope.
run-codex
向助手发出协助请求，适用于代码审核、逻辑推理、科学与哲学思考、深度分析、策略制定、市场分析等任务场景。
