codex-reasonix-mcp

Overview Schema Source Related Servers Discussions Admin

Inspect a Reasonix task

reasonix_inspect

Read-onlyIdempotent

Retrieve task status, evidence, and interactions with bounded, paginated output. Inspect diffs and opt-in events to recover from interruptions without polling.

Instructions

Recovery-only bounded inspection of status, evidence, interactions, and optional paginated diff or event output. Events are opt-in. The default two-call happy path uses no inspect polling.

Input Schema

TableJSON Schema

Name	Required	Default
`cursor`	No
`include`	No
`task_id`	Yes
`wait_ms`	No
`max_bytes`	No
`wait_until`	No	change

Output Schema

TableJSON Schema

Name	Required	Description	Default
`task_id`	Yes
`sections`	Yes
`truncated`	Yes
`updated_at`	Yes
`next_cursor`	No

Schema Changelog

Changes observed during successful MCP inspections.

Changed8 schema fields changedv0.2.0-rc.4Aug 4, 2026

addedInput schema / properties / wait_until

Added value: +{
+  "default": "change",
+  "enum": [
+    "change",
+    "review_required",
+    "interaction",
+    "terminal"
+  ],
+  "type": "string"
+}

changedOutput schema / additionalProperties
```
Previous value: -trueNew value: +false
```
addedOutput schema / properties / next_cursor
```
Added value: +{
+  "type": "string"
+}
```

addedOutput schema / properties / sections

Added value: +{
+  "additionalProperties": false,
+  "properties": {
+    "acceptance_evidence": {
+      "anyOf": [
+        {
+          "items": {
+            "additionalProperties": false,
+            "properties": {
+              "approved": {
+                "type": "boolean"
+              },
+              "criterionId": {
+                "type": "string"
+              },
+              "evidence": {
+                "enum": [
+                  "automated",
+                  "review"
+                ],
+                "type": "string"
+              },
+              "outputBytes": {
+                "minimum": 0,
+                "type": "integer"
+              },
+              "sha256": {
+                "type": "string"
+              },
+              "source": {
+                "type": "string"
+              }
+            },
+            "required": [
+              "criterionId",
+              "evidence",
+              "approved",
+              "source"
+            ],
+            "type": "object"
+          },
+          "type": "array"
+        },
+        {
+          "type": "string"
+        }
+      ]
+    },
+    "changed_files": {
+      "anyOf": [
+        {
+          "items": {
+            "type": "string"
+          },
+          "type": "array"
+        },
+        {
+          "type": "string"
+        }
+      ]
+    },
+    "diff": {
+      "type": "string"
+    },
+    "diff_stat": {
+      "type": "string"
+    },
+    "events": {
+      "anyOf": [
+        {
+          "items": {
+            "additionalProperties": false,
+            "properties": {
+              "data": {},
+              "seq": {
+                "minimum": 0,
+                "type": "integer"
+              },
+              "timestamp": {
+                "type": "string"
+              },
+              "type": {
+                "type": "string"
+              }
+            },
+            "required": [
+              "seq",
+              "timestamp",
+              "type"
+            ],
+            "type": "object"
+          },
+          "type": "array"
+        },
+        {
+          "type": "string"
+        }
+      ]
+    },
+    "interactions": {
+      "anyOf": [
+        {
+          "items": {
+            "additionalProperties": false,
+            "properties": {
+              "createdAt": {
+                "type": "string"
+              },
+              "id": {
+                "type": "string"
+              },
+              "kind": {
+                "enum": [
+                  "permission",
+                  "input"
+                ],
+                "type": "string"
+              },
+              "request": {
+                "additionalProperties": {},
+                "type": "object"
+              },
+              "resolvedAt": {
+                "type": "string"
+              },
+              "response": {
+                "additionalProperties": {},
+                "type": "object"
+              },
+              "status": {
+                "enum": [
+                  "pending",
+                  "resolved",
+                  "cancelled"
+                ],
+                "type": "string"
+              }
+            },
+            "required": [
+              "id",
+              "kind",
+              "status",
+              "createdAt",
+              "request"
+            ],
+            "type": "object"
+          },
+          "type": "array"
+        },
+        {
+          "type": "string"
+        }
+      ]
+    },
+    "risks": {
+      "anyOf": [
+        {
+          "items": {
+            "type": "string"
+          },
+          "type": "array"
+        },
+        {
+          "type": "string"
+        }
+      ]
+    },
+    "status": {
+      "anyOf": [
+        {
+          "additionalProperties": false,
+          "properties": {
+            "branch": {
+              "minLength": 1,
+              "type": "string"
+            },
+            "commit_hash": {
+              "pattern": "^[0-9a-f]{40,64}$",
+              "type": "string"
+            },
+            "contract_hash": {
+              "pattern": "^[0-9a-f]{64}$",
+              "type": "string"
+            },
+            "effective_reasoning_effort": {
+              "enum": [
+                "minimal",
+                "low",
+                "medium",
+                "high",
+                "max"
+              ],
+              "type": "string"
+            },
+            "execution_timeout_seconds": {
+              "maximum": 14400,
+              "minimum": 60,
+              "type": "integer"
+            },
+            "integration_command": {
+              "maxLength": 1024,
+              "minLength": 1,
+              "type": "string"
+            },
+            "pause_reason_hash": {
+              "pattern": "^[0-9a-f]{64}$",
+              "type": "string"
+            },
+            "pause_revision": {
+              "minimum": 0,
+              "type": "integer"
+            },
+            "phase": {
+              "type": "string"
+            },
+            "reason": {
+              "type": "string"
+            },
+            "reasonix_session_mode": {
+              "minLength": 1,
+              "type": "string"
+            },
+            "reasonix_work_mode": {
+              "minLength": 1,
+              "type": "string"
+            },
+            "repair_rounds": {
+              "minimum": 0,
+              "type": "integer"
+            },
+            "repository_id": {
+              "minLength": 1,
+              "type": "string"
+            },
+            "requested_reasoning_effort": {
+              "enum": [
+                "minimal",
+                "low",
+                "medium",
+                "high",
+                "max"
+              ],
+              "type": "string"
+            },
+            "review_revision": {
+              "minimum": 0,
+              "type": "integer"
+            },
+            "review_tree_hash": {
+              "pattern": "^[0-9a-f]{40}$",
+              "type": "string"
+            },
+            "session_id": {
+              "minLength": 1,
+              "type": "string"
+            },
+            "source_checkout_integrated": {
+              "const": false,
+              "type": "boolean"
+            },
+            "source_collision": {
+              "additionalProperties": false,
+              "properties": {
+                "baseCommit": {
+                  "minLength": 1,
+                  "type": "string"
+                },
+                "checkpoint": {
+                  "minLength": 1,
+                  "type": "string"
+                },
+                "committedPaths": {
+                  "items": {
+                    "type": "string"
+                  },
+                  "type": "array"
+                },
+                "detectedAt": {
+                  "minLength": 1,
+                  "type": "string"
+                },
+                "dirtyPaths": {
+                  "items": {
+                    "type": "string"
+                  },
+                  "type": "array"
+                },
+                "overlappingPaths": {
+                  "items": {
+                    "type": "string"
+                  },
+                  "type": "array"
+                },
+                "sourceHead": {
+                  "minLength": 1,
+                  "type": "string"
+                },
+                "unavailable": {
+                  "type": "boolean"
+                }
+              },
+              "required": [
+                "checkpoint",
+                "baseCommit",
+                "dirtyPaths",
+                "committedPaths",
+                "overlappingPaths",
+                "unavailable",
+                "detectedAt"
+              ],
+              "type": "object"
+            },
+            "state": {
+              "enum": [
+                "provisioning",
+                "running",
+                "waiting_permission",
+                "waiting_input",
+                "paused",
+                "review_required",
+                "verifying",
+                "completed",
+                "commit_failed",
+                "failed",
+                "cancelled",
+                "closed"
+              ],
+              "type": "string"
+            },
+            "task_id": {
+              "$ref": "#/properties/task_id"
+            },
+            "updated_at": {
+              "minLength": 1,
+              "type": "string"
+            },
+            "worker_lane": {
+              "enum": [
+                "fast",
+                "deep"
+              ],
+              "type": "string"
+            },
+            "worktree": {
+              "minLength": 1,
+              "type": "string"
+            }
+          },
+          "required": [
+            "task_id",
+            "state",
+            "phase",
+            "contract_hash",
+            "repository_id",
+            "branch",
+            "worktree",
+            "worker_lane",
+            "requested_reasoning_effort",
+            "effective_reasoning_effort",
+            "execution_timeout_seconds",
+            "source_checkout_integrated",
+            "repair_rounds",
+            "updated_at"
+          ],
+          "type": "object"
+        },
+        {
+          "type": "string"
+        }
+      ]
+    },
+    "summary": {
+      "type": "string"
+    },
+    "usage": {
+      "anyOf": [
+        {
+          "additionalProperties": false,
+          "properties": {
+            "cacheHitRatio": {
+              "anyOf": [
+                {
+                  "maximum": 1,
+                  "minimum": 0,
+                  "type": "number"
+                },
+                {
+                  "type": "null"
+                }
+              ]
+            },
+            "cacheHitTokens": {
+              "minimum": 0,
+              "type": "number"
+            },
+            "cacheMissTokens": {
+              "minimum": 0,
+              "type": "number"
+            },
+            "completionTokens": {
+              "minimum": 0,
+              "type": "number"
+            },
+            "currency": {
+              "type": [
+                "string",
+                "null"
+              ]
+            },
+            "estimatedCost": {
+              "anyOf": [
+                {
+                  "minimum": 0,
+                  "type": "number"
+                },
+                {
+                  "type": "null"
+                }
+              ]
+            },
+            "promptTokens": {
+              "minimum": 0,
+              "type": "number"
+            },
+            "reasoningTokens": {
+              "minimum": 0,
+              "type": "number"
+            },
+            "usageSource": {
+              "type": "string"
+            }
+          },
+          "required": [
+            "promptTokens",
+            "completionTokens",
+            "reasoningTokens",
+            "cacheHitTokens",
+            "cacheMissTokens",
+            "cacheHitRatio",
+            "estimatedCost",
+            "currency",
+            "usageSource"
+          ],
+          "type": "object"
+        },
+        {
+          "type": "string"
+        }
+      ]
+    },
+    "verification": {
+      "anyOf": [
+        {
+          "items": {
+            "additionalProperties": false,
+            "properties": {
+              "argv": {
+                "items": {
+                  "type": "string"
+                },
+                "type": "array"
+              },
+              "cwd": {
+                "type": "string"
+              },
+              "exitCode": {
+                "anyOf": [
+                  {
+                    "type": "integer"
+                  },
+                  {
+                    "type": "null"
+                  }
+                ]
+              },
+              "finishedAt": {
+                "type": "string"
+              },
+              "id": {
+                "type": "string"
+              },
+              "logPath": {
+                "type": "string"
+              },
+              "outputBytes": {
+                "minimum": 0,
+                "type": "integer"
+              },
+              "passed": {
+                "type": "boolean"
+              },
+              "proves": {
+                "items": {
+                  "type": "string"
+                },
+                "type": "array"
+              },
+              "sha256": {
+                "type": "string"
+              },
+              "startedAt": {
+                "type": "string"
+              },
+              "timedOut": {
+                "type": "boolean"
+              }
+            },
+            "required": [
+              "id",
+              "argv",
+              "cwd",
+              "startedAt",
+              "finishedAt",
+              "exitCode",
+              "timedOut",
+              "passed",
+              "proves",
+              "logPath",
+              "sha256",
+              "outputBytes"
+            ],
+            "type": "object"
+          },
+          "type": "array"
+        },
+        {
+          "type": "string"
+        }
+      ]
+    }
+  },
+  "type": "object"
+}

addedOutput schema / properties / task_id

Added value: +{
+  "maxLength": 64,
+  "minLength": 1,
+  "type": "string"
+}

addedOutput schema / properties / truncated
```
Added value: +{
+  "type": "boolean"
+}
```

addedOutput schema / properties / updated_at

Added value: +{
+  "minLength": 1,
+  "type": "string"
+}

addedOutput schema / required

Added value: +[
+  "task_id",
+  "sections",
+  "truncated",
+  "updated_at"
+]

First observedv0.1.0-rc.1Jul 31, 2026

TDQS

A4.1/5.0

Behavior4/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

Annotations already declare the tool as read-only and idempotent, and the description adds useful behavioral context: 'bounded' suggests output limits, 'Events are opt-in' indicates default behavior, and the note about the default happy path avoiding inspect polling clarifies the expected call pattern. This goes beyond the annotations without contradicting them.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness5/5

Is the description appropriately sized, front-loaded, and free of redundancy?

The description is two concise, front-loaded sentences that pack maximum information without wasted words. Every phrase contributes meaning, from 'recovery-only' to 'no inspect polling'.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness3/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

Despite having an output schema, the tool is complex (6 parameters, 11 include enums, wait_until). The description gives a strong high-level overview but omits many include options and polling semantics (e.g., how wait_until interacts with wait_ms). It feels too terse to be fully self-sufficient for such a feature-rich tool.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters3/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

With 0% schema description coverage, the description carries the full burden, and it does provide semantic hints (e.g., 'optional paginated diff or event output' maps to include/cursor, 'bounded' relates to max_bytes, 'Events are opt-in' relates to include). However, it does not explain task_id, wait_ms, or wait_until, leaving a significant gap for a 6-parameter tool.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose5/5

Does the description clearly state what the tool does and how it differs from similar tools?

The description clearly identifies the tool as an inspection utility for Reasonix tasks, listing specific outputs (status, evidence, interactions, diff/events) and scoping it as 'recovery-only'. This distinguishes it from the sibling tools (delegate, control) which handle execution and management.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines4/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

The description explicitly states 'Recovery-only' and 'The default two-call happy path uses no inspect polling', providing clear context for when to use this tool (recovery scenarios) and implying it is not part of the normal flow. It doesn't name alternatives directly but the context is sufficient to differentiate from siblings.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

Deploy Server