Advanced Reasoning Operators

These tools add the sequential-thinking roadmap features as explicit MCP contracts. All generated analysis is labeled heuristic unless a future provider binding supplies real model-backed or retrieval-backed execution.

Assumption Ledger

  • record_assumption stores a premise with status, criticality, optional evidence, and source node links.
  • set_assumption_status updates that premise after evidence is gathered.
  • Critical/high verifiable assumptions that are not verified block consensus_answer, converge_reasoning, and checkpoints under fail-closed policy.
  • Resource: reasoning://session/{id}/assumptions.

Replay And Convergence

  • replay_reasoning_session returns an ordered trace of nodes, assumptions, verification entries, checkpoints, and route state.
  • converge_reasoning gates convergence on critical assumptions, critical verification entries, and a deterministic quality score. It creates a convergence summary node only when blockers are cleared.

Pattern Registry

  • apply_reasoning_pattern supports socratic, scientific_method, systems_map, mental_model, debugging, optimization, dialectical, and code_reasoning.
  • The tool returns prompts and can insert pattern nodes into the DAG so an agent can continue from structured analytical modes.
  • Resource: reasoning://patterns.

Checkpoints

  • run_reasoning_checkpoint persists a quality/route gate with blocking gaps and recommended next tools.
  • Resource: reasoning://session/{id}/checkpoints.

Tool Planning

  • plan_tool_sequence returns a stage-aware tool sequence with argument templates, preconditions, and expected evidence. It does not execute tools.

Memory Snapshot Boundary

  • export_memory_snapshot returns a memory-ready payload.
  • local_json returns payload_ready.
  • recall, memory_mcp, and vector_store return boundary_unavailable; the caller must persist the payload through its own memory provider.
  • Resource: reasoning://memory/sinks.

Transport Boundary

  • The active transport remains stdio.
  • reasoning://config/transports reports that streamable HTTP is not active in this build.
  • The root Dockerfile packages the stdio server for supervised MCP hosts.