MCP server for structured and efficient reasoning with step validation, branching, and revisions.