de en es ja ko ru zh

jacobian

Name: jacobian
Author: morluto

by morluto

Overview Schema Source Related Servers Discussions Admin

Python

Hybrid

English · 简体中文

Jacobian은 AI 에이전트가 검색 가능한 유형화된 수학 연산 어휘를 제공하는 MCP 서버입니다. math.find는 연산을 발견하고, math.run은 정확히 하나의 경계가 명확한 수학 계약을 실행하여 유형화된 결과를 반환합니다. 동일한 수학 라이브러리는 CLI 및 네이티브 Python API를 통해서도 사용할 수 있습니다.

각 연산은 하나의 안정적이고 재사용 가능한 수학적 사후 조건을 확립하며, 워크플로우나 증명 전략을 강요하지 않습니다. 결과는 주장된 범위에서 정확하며, 근사, 불완전성, 또는 불확실성을 명시적으로 드러냅니다.

Jacobian의 가설은 수학적 추론이 의미론적으로 범위가 한정되고 경계가 명확한 연산의 실행 가능한 어휘로부터 이점을 얻는다는 것입니다. 대규모 도메인 솔버나 미리 구성된 워크플로우를 노출하는 대신, Jacobian은 에이전트가 검색하고 합성하여 어떤 개별 연산이 설계된 범위를 넘어선 해결책을 구성할 수 있는 수학적 기본 요소를 노출합니다. 라이브러리는 신뢰할 수 있는 수학적 이동을 제공하며, 추론 모델은 어떤 이동을 할지, 결과를 어떻게 결합할지, 그리고 언제 멈출지를 결정합니다. 연산을 의미론적으로 좁고 도메인 소유로 유지함으로써 그 탐색 공간을 보존하며, 하나의 증명 전략이나 워크플로우를 도구 자체에 구워 넣지 않습니다.

의미론적 원자성이 무엇을 의미하며 연산 어휘가 어떻게 성장하는지에 대해서는 실행 가능한 수학 어휘를 참조하세요.

빠른 시작

Jacobian을 전역으로 설치하지 않고 표준 Python MCP 명령을 실행하세요:

uvx --from jacobian jacobian-mcp

MCP 호스트가 npm 명령을 요구하는 경우, npm 패키지는 동일한 명령을 위한 결정적 전달자입니다:

npx jacobian mcp

영구 설치의 경우:

python -m pip install jacobian
jacobian-mcp

해당 패키지에는 Jacobian의 정확히 유지 관리되는 Python 백엔드 스택인 SymPy, NetworkX, Z3, Python-FLINT가 포함되어 있습니다. 일반 Python 또는 npm 설치는 따라서 동일한 Python 기반 연산 포트폴리오를 노출합니다. 테스트된 바이너리 설치 계약은 glibc Linux x86-64에서 CPython 3.12 또는 3.13입니다. 릴리스 게이트는 두 Python 버전 모두에서 휠을 설치하고 시작합니다. 다른 시스템은 호환되는 휠을 가질 수 있지만 아직 테스트된 릴리스 계약의 일부는 아닙니다. 특히 Alpine/musl은 PyPI에서 전체 필수 스택을 설치할 수 없습니다.

Python 배포판에는 수학 커널, CLI, MCP 서버가 포함되어 있습니다. npm 패키지는 정확한 패키지 버전을 해당 uvx 호출에 결정적으로 매핑합니다.

Related MCP server: math-logic-mcp

하나의 경계가 명확한 결과 계산

일반 연산은 수학을 먼저 반환합니다. 예를 들어, matrix.determinant.compute는 정확한 유리수 행렬 하나를 받아 행렬식을 직접 반환합니다. 호출자는 유형화된 값을 후속 연산에 전달하여 결과를 합성합니다.

사용 가능한 수학

내장 포트폴리오는 다음을 포함합니다:

다항식 사상 및 다항식 대수;
정확한 선형 대수;
그래프, 경로, 색칠 및 동형 사상;
경계가 명확한 SAT 및 SMT 풀이;
유한 대수, 확률, 기하 및 위상; 그리고
Lean 소스 정교화.

SAT 및 SMT 연산은 유지 관리되는 Z3 Python 바인딩을 직접 사용합니다. 선택적 lean.check 연산은 고정된 Lean 서비스 환경에서 하나의 소스 스니펫을 실행하고, 요청 범위의 임시 디렉터리를 사용하며, 유형화된 진단을 반환합니다. math.find를 사용하여 연산을 검색하고, 익숙하지 않은 도메인을 탐색하며, math.run을 호출하기 전에 연산 하나를 검사하세요.

유지 관리되는 연산 포트폴리오와 백엔드 요구 사항은 도메인 연산 라이브러리 및 백엔드 요구 사항을 참조하세요.

상태

Jacobian 0.12.0은 사전 안정 버전입니다. 게시된 패키지 및 연산 계약은 지원되는 표면을 설명하며, 실험적 연산 계약은 릴리스 간에 변경될 수 있습니다.

문서

문서 홈: 튜토리얼, 방법 가이드, 참조 및 설명
아키텍처: 런타임 구조 및 신뢰 경계
제품 모델: 연산 계약, 소유권 및 프로젝트 경계
도구 참조: MCP 리소스 및 호출 계약
백엔드 요구 사항: 유지 관리되는 Python 백엔드 및 선택적 Lean
원격 배포: HTTP 배포 및 인증

기여

Jacobian은 Python 3.12, uv, 그리고 작은 Makefile을 사용합니다:

make setup
make test-math
make check

코드를 변경하기 전에 CONTRIBUTING.md를 읽으세요. 여기에는 집중된 테스트 명령, 검증 규칙, 문서 배치 및 풀 리퀘스트 기대 사항이 문서화되어 있습니다.

라이선스

MIT

Available Tools

2 tools

math.findSearch installed Jacobian math toolsA

Read-onlyIdempotent

Find or inspect public Jacobian MCP operations.

Forms:

query: describe one local mathematical need in ordinary language. namespace, limit, cursor, and search_mode are optional search controls. Preserve established mathematical names from the task, the supplied objects and constraints, the requested computation or decision, the full scalar, batch, or exhaustive scope, and whether the requested result is a value, witness, certificate, obstruction, profile, or complete enumeration. Do not replace a supplied named property only with its expanded definition, translate the need into catalog tags, or submit the surrounding proof goal.
operation_id: pass one exact operation ID to receive its authoritative input and output schemas, operator-authored examples, and current optional backend availability. Matches expose static runtime_requirements; inspection checks these runtimes in the server environment.

For matching, use namespace only when the primary operation-ID namespace is already known with high confidence. Matching returns 10 candidates by default; request up to 20 when a wider first page is useful. Follow next_cursor with the same query, namespace, and search_mode to continue; the limit may change. Ordered matches are deterministic retrieval candidates, not applicability claims; inspect a promising operation before math.run. Read operation://catalog only when the complete bulk catalog is genuinely needed.

An unknown operation ID returns kind: "error" with error.code: "UNKNOWN_OPERATION"; inspect kind even when MCP isError is false. Search with query to find an installed operation, then inspect its exact ID. Zero matches is a successful search.

Examples:

{"query":"exact determinant of a rational matrix","namespace":"matrix","limit":3}
{"operation_id":"polynomial.compute.gcd"}

ParametersJSON Schema

Name	Required	Description	Default
`limit`	No
`query`	No
`cursor`	No	Opaque continuation cursor from a prior call with the same query, namespace, and search_mode. The page limit may change between calls.
`namespace`	No	Optional exact primary operation-ID namespace. Omit it unless already known with high confidence.
`search_mode`	No	Precise applicability filtering or broad lexical recall.	precise
`operation_id`	No

Output Schema

ParametersJSON Schema

Name	Required	Description
No output parameters

TDQS

A4.9/5.0

Behavior5/5

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

Annotations already cover read-only/idempotent/safety, but the description adds real behavioral context beyond them: default page size of 10 with up to 20 on request, cursor continuation semantics where the limit may change, deterministic-but-not-applicability-claiming results, and the error contract (`kind: "error"`, `error.code: "UNKNOWN_OPERATION"`, checking `kind` even when MCP `isError` is false). It also clarifies that zero matches is a successful search rather than a failure, which is exactly the kind of edge case that prevents misreads.

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

Conciseness4/5

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

It is front-loaded, organized by form, and ends with two concrete call examples, so the length is largely earned. The main cost is mild redundancy: the long `query` composition guidance in the prose substantially repeats the `query` field description in the schema, which slightly dilutes signal.

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

Completeness5/5

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

An output schema exists, so return-shape explanation is not needed, and the description fills the remaining gaps an agent needs: pagination behavior, error signaling, the intended inspect-then-run workflow, and the fallback to `operation://catalog`. For a six-parameter discovery tool with partial schema coverage, nothing material is missing.

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

Parameters5/5

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

The description supplies semantics the schema only partially carries (50% coverage): what belongs in `query` versus what must not (catalog tags, expanded definitions, proof goals), the confidence condition for `namespace`, the default and ceiling for `limit`, and the requirement to reuse the same query/namespace/search_mode with `cursor`. `operation_id` behavior (returns authoritative input/output schemas, examples, and runtime availability, with inspection checking runtimes) is also explained, which the bare pattern in the schema does not convey.

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 opening line states a specific verb pair and resource ('Find or inspect public Jacobian MCP operations') and then splits the two behaviors into named forms (`query` vs `operation_id`). It also clarifies the relationship to the sibling by stating matches should be inspected 'before math.run', so an agent can separate discovery from execution without opening either schema.

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

Usage Guidelines5/5

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

It gives explicit when-to-use conditions for each branch: reach for `query` to locate an installed operation, use `operation_id` for authoritative schemas, use `namespace` only when already known with high confidence, and read `operation://catalog` only when the complete bulk catalog is genuinely needed. It also names the follow-up action (inspect before `math.run`) and the continuation path (`next_cursor`), leaving little to inference.

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

math.runRun one installed Jacobian math toolA

Read-only

Run one installed math tool by ID with its typed payload. A successful call returns the operation-owned canonical mathematical value in output; a later inspected operation may accept that complete value unchanged. Read its fields to determine what the calculation established. MCP reports malformed payloads, unknown IDs, and host failures as tool errors, not as mathematical results. If the payload shape is unknown, inspect the exact operation with math.find. When it publishes an examples item, copy and adapt that item's input object as the payload; otherwise, form the payload from the input schema and its field descriptions. Do not call math.run with an empty payload merely to discover required fields; inspection is authoritative.

Timeout, incomplete search, and missing witnesses appear only in the concrete domain result that owns them; none is a mathematical conclusion by itself.

Examples:

{"operation_id":"integer.compute.extended_gcd","payload":{"left":"84","right":"30"}}

ParametersJSON Schema

Name	Required	Description	Default
`payload`	Yes
`operation_id`	Yes

Output Schema

ParametersJSON Schema

Name	Required	Description
`output`	Yes
`runtime_ms`	Yes
`operation_id`	Yes

TDQS

A4.9/5.0

Behavior5/5

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

Beyond the annotations, the description explains that successful calls return a canonical operation-owned value, that malformed payloads, unknown IDs, and host failures surface as MCP errors, and that timeout/incomplete-search/missing-witness findings are not mathematical conclusions. This is meaningful behavioral context not present in the annotations.

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 front-loaded with the core action and then adds only high-value operational guidance: error semantics, discovery workflow, and an example. Every sentence earns its place despite the length, which is justified for a generic runner tool.

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

Completeness5/5

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

For a generic runner with two parameters, an output schema, and a single sibling, the description fully covers invocation, payload discovery, error behavior, and result semantics. There are no significant gaps that would prevent an agent from selecting or using the tool correctly.

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

Parameters4/5

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

Schema coverage is 0%, so the description carries the burden. It clarifies operation_id as a math tool ID and payload as the typed argument object, and gives a concrete example. It could enumerate more about operation_id format, but the schema pattern already covers that, and the discovery workflow is explicitly documented.

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 states a specific verb and resource: 'Run one installed math tool by ID with its typed `payload`' and clarifies the operation's return semantics. It differentiates from the sibling math.find by explicitly directing payload-shape discovery to math.find rather than math.run.

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

Usage Guidelines5/5

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

It gives concrete when-to-use guidance, including using math.find when the payload shape is unknown, adapting published examples, and avoiding empty-payload discovery calls. It also tells the agent that inspection is authoritative, which prevents misuse.

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

Tool Schema Changelog

Recent tool additions, removals, and schema changes observed during successful MCP inspections.

1 tool updatev0.7.12Oct 3, 2026

Changedmath.find1 field changed

changedInput schema / properties / cursor / description

Previous value: -"Opaque continuation cursor from a prior call with the same need and namespace. The page limit may change between calls."New value: +"Opaque continuation cursor from a prior call with the same query, namespace, and search_mode. The page limit may change between calls."

1 tool updatev0.7.10Sep 15, 2026

Changedmath.find2 fields changed

addedInput schema / properties / search_mode

Added value: +{
+  "default": "precise",
+  "description": "Precise applicability filtering or broad lexical recall.",
+  "enum": [
+    "precise",
+    "broad"
+  ],
+  "title": "Search Mode",
+  "type": "string"
+}

addedOutput schema / $defs / OperationFindResult / properties / search_mode

Added value: +{
+  "default": "precise",
+  "enum": [
+    "precise",
+    "broad"
+  ],
+  "title": "Search Mode",
+  "type": "string"
+}

1 tool updatev0.7.9Sep 9, 2026

Changedmath.find12 fields changed

removedInput schema / $defs

Removed value: -{
-  "OperationInspectRequest": {
-    "additionalProperties": false,
-    "properties": {
-      "op": {
-        "const": "inspect",
-        "title": "Op",
-        "type": "string"
-      },
-      "operation_id": {
-        "maxLength": 128,
-        "minLength": 3,
-        "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-        "title": "Operation Id",
-        "type": "string"
-      }
-    },
-    "required": [
-      "op",
-      "operation_id"
-    ],
-    "title": "OperationInspectRequest",
-    "type": "object"
-  },
-  "OperationMatchRequest": {
-    "additionalProperties": false,
-    "properties": {
-      "cursor": {
-        "anyOf": [
-          {
-            "maxLength": 128,
-            "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-            "type": "string"
-          },
-          {
-            "type": "null"
-          }
-        ],
-        "default": null,
-        "description": "Opaque continuation cursor from a prior call with the same need and namespace. The page limit may change between calls.",
-        "title": "Cursor"
-      },
-      "limit": {
-        "default": 10,
-        "description": "Maximum compact matches to return.",
-        "maximum": 20,
-        "minimum": 1,
-        "title": "Limit",
-        "type": "integer"
-      },
-      "namespace": {
-        "anyOf": [
-          {
-            "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$",
-            "type": "string"
-          },
-          {
-            "type": "null"
-          }
-        ],
-        "default": null,
-        "description": "Optional exact primary operation-ID namespace. Omit it unless already known with high confidence.",
-        "title": "Namespace"
-      },
-      "need": {
-        "description": "A concise description of the complete local mathematical result needed. Preserve established mathematical names from the task, the supplied objects and constraints, the requested computation or decision, the full scalar, batch, or exhaustive scope, and whether the requested result is a value, witness, certificate, obstruction, profile, or complete enumeration. Prefer ordinary mathematical language to catalog tags; do not replace a supplied named property only with its expanded definition.",
-        "maxLength": 4096,
-        "minLength": 1,
-        "title": "Need",
-        "type": "string"
-      },
-      "op": {
-        "const": "match",
-        "title": "Op",
-        "type": "string"
-      }
-    },
-    "required": [
-      "op",
-      "need"
-    ],
-    "title": "OperationMatchRequest",
-    "type": "object"
-  }
-}

addedInput schema / properties / cursor

Added value: +{
+  "anyOf": [
+    {
+      "maxLength": 128,
+      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "description": "Opaque continuation cursor from a prior call with the same need and namespace. The page limit may change between calls.",
+  "title": "Cursor"
+}

addedInput schema / properties / limit

Added value: +{
+  "anyOf": [
+    {
+      "description": "Maximum compact matches to return.",
+      "maximum": 20,
+      "minimum": 1,
+      "type": "integer"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Limit"
+}

addedInput schema / properties / namespace

Added value: +{
+  "anyOf": [
+    {
+      "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$",
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "description": "Optional exact primary operation-ID namespace. Omit it unless already known with high confidence.",
+  "title": "Namespace"
+}

addedInput schema / properties / operation_id

Added value: +{
+  "anyOf": [
+    {
+      "description": "Exact public operation ID returned by a prior math.find match or listed in operation://catalog.",
+      "maxLength": 128,
+      "minLength": 3,
+      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Operation Id"
+}

addedInput schema / properties / query

Added value: +{
+  "anyOf": [
+    {
+      "description": "A concise description of the complete local mathematical result needed. Preserve established mathematical names from the task, the supplied objects and constraints, the requested computation or decision, the full scalar, batch, or exhaustive scope, and whether the requested result is a value, witness, certificate, obstruction, profile, or complete enumeration. Prefer ordinary mathematical language to catalog tags; do not replace a supplied named property only with its expanded definition.",
+      "maxLength": 4096,
+      "minLength": 1,
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Query"
+}

removedInput schema / properties / request

Removed value: -{
-  "discriminator": {
-    "mapping": {
-      "inspect": "#/$defs/OperationInspectRequest",
-      "match": "#/$defs/OperationMatchRequest"
-    },
-    "propertyName": "op"
-  },
-  "oneOf": [
-    {
-      "$ref": "#/$defs/OperationMatchRequest"
-    },
-    {
-      "$ref": "#/$defs/OperationInspectRequest"
-    }
-  ],
-  "title": "Request"
-}

removedInput schema / required
```
Removed value: -[
-  "request"
-]
```

addedOutput schema / $defs / BackendAvailability

Added value: +{
+  "additionalProperties": false,
+  "description": "A bounded executable/version check, not an operation execution guarantee.",
+  "properties": {
+    "backend": {
+      "enum": [
+        "singular",
+        "qepcad"
+      ],
+      "title": "Backend",
+      "type": "string"
+    },
+    "detail": {
+      "title": "Detail",
+      "type": "string"
+    },
+    "installation": {
+      "title": "Installation",
+      "type": "string"
+    },
+    "required_version": {
+      "title": "Required Version",
+      "type": "string"
+    },
+    "status": {
+      "enum": [
+        "AVAILABLE",
+        "MISSING",
+        "UNSUPPORTED",
+        "CHECK_FAILED"
+      ],
+      "title": "Status",
+      "type": "string"
+    },
+    "version": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Version"
+    }
+  },
+  "required": [
+    "backend",
+    "status",
+    "required_version",
+    "detail",
+    "installation"
+  ],
+  "title": "BackendAvailability",
+  "type": "object"
+}

addedOutput schema / $defs / OperationDescriptor / properties / runtime_requirements

Added value: +{
+  "default": [],
+  "items": {
+    "enum": [
+      "singular",
+      "qepcad"
+    ],
+    "type": "string"
+  },
+  "title": "Runtime Requirements",
+  "type": "array"
+}

addedOutput schema / $defs / OperationDiscoveryMatch / properties / runtime_requirements

Added value: +{
+  "default": [],
+  "items": {
+    "enum": [
+      "singular",
+      "qepcad"
+    ],
+    "type": "string"
+  },
+  "title": "Runtime Requirements",
+  "type": "array"
+}

addedOutput schema / $defs / OperationInspectionResult / properties / backend_availability

Added value: +{
+  "default": [],
+  "items": {
+    "$ref": "#/$defs/BackendAvailability"
+  },
+  "title": "Backend Availability",
+  "type": "array"
+}

1 tool updatev0.7.8Sep 5, 2026

Changedmath.find1 field changed

changedInput schema / $defs / OperationMatchRequest / properties / cursor / description

Previous value: -"Continuation cursor from a prior call with the same need."New value: +"Opaque continuation cursor from a prior call with the same need and namespace. The page limit may change between calls."

1 tool updatev0.7.7Sep 4, 2026

Changedmath.find15 fields changed

removedInput schema / $defs / OperationBrowseRequest

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "cursor": {
-      "anyOf": [
-        {
-          "maxLength": 128,
-          "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Cursor"
-    },
-    "limit": {
-      "default": 20,
-      "maximum": 20,
-      "minimum": 1,
-      "title": "Limit",
-      "type": "integer"
-    },
-    "namespace": {
-      "anyOf": [
-        {
-          "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$",
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Namespace"
-    },
-    "op": {
-      "const": "browse",
-      "title": "Op",
-      "type": "string"
-    }
-  },
-  "required": [
-    "op"
-  ],
-  "title": "OperationBrowseRequest",
-  "type": "object"
-}

addedInput schema / $defs / OperationMatchRequest

Added value: +{
+  "additionalProperties": false,
+  "properties": {
+    "cursor": {
+      "anyOf": [
+        {
+          "maxLength": 128,
+          "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "description": "Continuation cursor from a prior call with the same need.",
+      "title": "Cursor"
+    },
+    "limit": {
+      "default": 10,
+      "description": "Maximum compact matches to return.",
+      "maximum": 20,
+      "minimum": 1,
+      "title": "Limit",
+      "type": "integer"
+    },
+    "namespace": {
+      "anyOf": [
+        {
+          "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$",
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "description": "Optional exact primary operation-ID namespace. Omit it unless already known with high confidence.",
+      "title": "Namespace"
+    },
+    "need": {
+      "description": "A concise description of the complete local mathematical result needed. Preserve established mathematical names from the task, the supplied objects and constraints, the requested computation or decision, the full scalar, batch, or exhaustive scope, and whether the requested result is a value, witness, certificate, obstruction, profile, or complete enumeration. Prefer ordinary mathematical language to catalog tags; do not replace a supplied named property only with its expanded definition.",
+      "maxLength": 4096,
+      "minLength": 1,
+      "title": "Need",
+      "type": "string"
+    },
+    "op": {
+      "const": "match",
+      "title": "Op",
+      "type": "string"
+    }
+  },
+  "required": [
+    "op",
+    "need"
+  ],
+  "title": "OperationMatchRequest",
+  "type": "object"
+}

removedInput schema / $defs / OperationSearchRequest

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "cursor": {
-      "anyOf": [
-        {
-          "maxLength": 128,
-          "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Cursor"
-    },
-    "limit": {
-      "default": 5,
-      "maximum": 20,
-      "minimum": 1,
-      "title": "Limit",
-      "type": "integer"
-    },
-    "namespace": {
-      "anyOf": [
-        {
-          "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$",
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Namespace"
-    },
-    "op": {
-      "const": "search",
-      "title": "Op",
-      "type": "string"
-    },
-    "query": {
-      "minLength": 1,
-      "title": "Query",
-      "type": "string"
-    }
-  },
-  "required": [
-    "op",
-    "query"
-  ],
-  "title": "OperationSearchRequest",
-  "type": "object"
-}

removedInput schema / properties / request / discriminator / mapping / browse
```
Removed value: -"#/$defs/OperationBrowseRequest"
```
addedInput schema / properties / request / discriminator / mapping / match
```
Added value: +"#/$defs/OperationMatchRequest"
```
removedInput schema / properties / request / discriminator / mapping / search
```
Removed value: -"#/$defs/OperationSearchRequest"
```

changedInput schema / properties / request / oneOf

Previous value: -[
-  {
-    "$ref": "#/$defs/OperationSearchRequest"
-  },
-  {
-    "$ref": "#/$defs/OperationBrowseRequest"
-  },
-  {
-    "$ref": "#/$defs/OperationInspectRequest"
-  }
-]New value: +[
+  {
+    "$ref": "#/$defs/OperationMatchRequest"
+  },
+  {
+    "$ref": "#/$defs/OperationInspectRequest"
+  }
+]

removedOutput schema / $defs / OperationBrowseCard

Removed value: -{
-  "additionalProperties": false,
-  "description": "One compact operation card in deterministic catalog order.",
-  "properties": {
-    "description": {
-      "minLength": 1,
-      "title": "Description",
-      "type": "string"
-    },
-    "operation_id": {
-      "maxLength": 128,
-      "minLength": 3,
-      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-      "title": "Operation Id",
-      "type": "string"
-    },
-    "tags": {
-      "default": [],
-      "items": {
-        "type": "string"
-      },
-      "title": "Tags",
-      "type": "array"
-    },
-    "title": {
-      "maxLength": 128,
-      "minLength": 1,
-      "title": "Title",
-      "type": "string"
-    }
-  },
-  "required": [
-    "operation_id",
-    "title",
-    "description"
-  ],
-  "title": "OperationBrowseCard",
-  "type": "object"
-}

removedOutput schema / $defs / OperationBrowseResult

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "catalog_resource": {
-      "const": "operation://catalog",
-      "default": "operation://catalog",
-      "title": "Catalog Resource",
-      "type": "string"
-    },
-    "kind": {
-      "const": "browse",
-      "title": "Kind",
-      "type": "string"
-    },
-    "namespace": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Namespace"
-    },
-    "next_cursor": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Next Cursor"
-    },
-    "operations": {
-      "items": {
-        "$ref": "#/$defs/OperationBrowseCard"
-      },
-      "title": "Operations",
-      "type": "array"
-    },
-    "total_operations": {
-      "title": "Total Operations",
-      "type": "integer"
-    }
-  },
-  "required": [
-    "kind",
-    "operations",
-    "total_operations"
-  ],
-  "title": "OperationBrowseResult",
-  "type": "object"
-}

addedOutput schema / $defs / OperationFindResult

Added value: +{
+  "additionalProperties": false,
+  "properties": {
+    "catalog_resource": {
+      "const": "operation://catalog",
+      "default": "operation://catalog",
+      "title": "Catalog Resource",
+      "type": "string"
+    },
+    "kind": {
+      "const": "matches",
+      "title": "Kind",
+      "type": "string"
+    },
+    "matches": {
+      "items": {
+        "$ref": "#/$defs/OperationDiscoveryMatch"
+      },
+      "title": "Matches",
+      "type": "array"
+    },
+    "namespace": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Namespace"
+    },
+    "need": {
+      "title": "Need",
+      "type": "string"
+    },
+    "next_cursor": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Next Cursor"
+    },
+    "total_matches": {
+      "title": "Total Matches",
+      "type": "integer"
+    }
+  },
+  "required": [
+    "kind",
+    "need",
+    "matches",
+    "total_matches"
+  ],
+  "title": "OperationFindResult",
+  "type": "object"
+}

removedOutput schema / $defs / OperationSearchResult

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "catalog_resource": {
-      "const": "operation://catalog",
-      "default": "operation://catalog",
-      "title": "Catalog Resource",
-      "type": "string"
-    },
-    "kind": {
-      "const": "discovery",
-      "title": "Kind",
-      "type": "string"
-    },
-    "matches": {
-      "items": {
-        "$ref": "#/$defs/OperationDiscoveryMatch"
-      },
-      "title": "Matches",
-      "type": "array"
-    },
-    "namespace": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Namespace"
-    },
-    "next_cursor": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Next Cursor"
-    },
-    "query": {
-      "title": "Query",
-      "type": "string"
-    },
-    "total_matches": {
-      "title": "Total Matches",
-      "type": "integer"
-    }
-  },
-  "required": [
-    "kind",
-    "query",
-    "matches",
-    "total_matches"
-  ],
-  "title": "OperationSearchResult",
-  "type": "object"
-}

removedOutput schema / discriminator / mapping / browse
```
Removed value: -"#/$defs/OperationBrowseResult"
```
removedOutput schema / discriminator / mapping / discovery
```
Removed value: -"#/$defs/OperationSearchResult"
```
addedOutput schema / discriminator / mapping / matches
```
Added value: +"#/$defs/OperationFindResult"
```

changedOutput schema / oneOf

Previous value: -[
-  {
-    "$ref": "#/$defs/OperationSearchResult"
-  },
-  {
-    "$ref": "#/$defs/OperationBrowseResult"
-  },
-  {
-    "$ref": "#/$defs/OperationInspectionResult"
-  },
-  {
-    "$ref": "#/$defs/OperationDiscoveryError"
-  }
-]New value: +[
+  {
+    "$ref": "#/$defs/OperationFindResult"
+  },
+  {
+    "$ref": "#/$defs/OperationInspectionResult"
+  },
+  {
+    "$ref": "#/$defs/OperationDiscoveryError"
+  }
+]

2 tool updatesv0.7.6Aug 29, 2026

Changedmath.find32 fields changed

removedInput schema / $defs / OperationBrowseRequest / properties / domain

Removed value: -{
-  "anyOf": [
-    {
-      "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$",
-      "type": "string"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "title": "Domain"
-}

addedInput schema / $defs / OperationBrowseRequest / properties / namespace

Added value: +{
+  "anyOf": [
+    {
+      "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$",
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Namespace"
+}

removedInput schema / $defs / OperationSearchRequest / properties / domain

Removed value: -{
-  "anyOf": [
-    {
-      "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$",
-      "type": "string"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "title": "Domain"
-}

addedInput schema / $defs / OperationSearchRequest / properties / namespace

Added value: +{
+  "anyOf": [
+    {
+      "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$",
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Namespace"
+}

removedInput schema / $defs / OperationSearchRequest / properties / query / maxLength
```
Removed value: -512
```
removedOutput schema / $defs / OperationBrowseCard / properties / description / maxLength
```
Removed value: -512
```

removedOutput schema / $defs / OperationBrowseResult / properties / discovery_version

Removed value: -{
-  "const": "1",
-  "title": "Discovery Version",
-  "type": "string"
-}

removedOutput schema / $defs / OperationBrowseResult / properties / domain

Removed value: -{
-  "anyOf": [
-    {
-      "type": "string"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "title": "Domain"
-}

addedOutput schema / $defs / OperationBrowseResult / properties / namespace

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Namespace"
+}

removedOutput schema / $defs / OperationBrowseResult / properties / operation_metadata_truncated

Removed value: -{
-  "default": false,
-  "title": "Operation Metadata Truncated",
-  "type": "boolean"
-}

removedOutput schema / $defs / OperationBrowseResult / properties / response_byte_limit
```
Removed value: -{
-  "title": "Response Byte Limit",
-  "type": "integer"
-}
```
removedOutput schema / $defs / OperationBrowseResult / properties / truncated
```
Removed value: -{
-  "title": "Truncated",
-  "type": "boolean"
-}
```

removedOutput schema / $defs / OperationBrowseResult / properties / truncation_reason

Removed value: -{
-  "anyOf": [
-    {
-      "type": "string"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "title": "Truncation Reason"
-}

changedOutput schema / $defs / OperationBrowseResult / required

Previous value: -[
-  "kind",
-  "discovery_version",
-  "operations",
-  "total_operations",
-  "truncated",
-  "response_byte_limit"
-]New value: +[
+  "kind",
+  "operations",
+  "total_operations"
+]

removedOutput schema / $defs / OperationDescriptor / properties / description / maxLength
```
Removed value: -512
```

removedOutput schema / $defs / OperationDescriptor / properties / descriptor_version

Removed value: -{
-  "const": "1",
-  "default": "1",
-  "title": "Descriptor Version",
-  "type": "string"
-}

addedOutput schema / $defs / OperationDescriptor / properties / discovery_terms

Added value: +{
+  "default": [],
+  "items": {
+    "type": "string"
+  },
+  "maxItems": 8,
+  "title": "Discovery Terms",
+  "type": "array"
+}

removedOutput schema / $defs / OperationDescriptor / properties / version

Removed value: -{
-  "maxLength": 64,
-  "minLength": 1,
-  "title": "Version",
-  "type": "string"
-}

changedOutput schema / $defs / OperationDescriptor / required

Previous value: -[
-  "operation_id",
-  "version",
-  "title",
-  "description",
-  "input_schema",
-  "output_schema"
-]New value: +[
+  "operation_id",
+  "title",
+  "description",
+  "input_schema",
+  "output_schema"
+]

removedOutput schema / $defs / OperationDiscoveryMatch / properties / applicability

Removed value: -{
-  "enum": [
-    "INCOMPATIBLE",
-    "NEEDS_MORE_TYPED_REQUIREMENTS"
-  ],
-  "title": "Applicability",
-  "type": "string"
-}

removedOutput schema / $defs / OperationDiscoveryMatch / properties / applicability_code

Removed value: -{
-  "const": "FULL_REQUEST_REQUIRED",
-  "title": "Applicability Code",
-  "type": "string"
-}

removedOutput schema / $defs / OperationDiscoveryMatch / properties / description / maxLength
```
Removed value: -512
```

removedOutput schema / $defs / OperationDiscoveryMatch / properties / relevance_score

Removed value: -{
-  "default": 0,
-  "minimum": 0,
-  "title": "Relevance Score",
-  "type": "integer"
-}

changedOutput schema / $defs / OperationDiscoveryMatch / required

Previous value: -[
-  "operation_id",
-  "title",
-  "description",
-  "applicability",
-  "applicability_code"
-]New value: +[
+  "operation_id",
+  "title",
+  "description"
+]

removedOutput schema / $defs / OperationSearchResult / properties / discovery_version

Removed value: -{
-  "const": "1",
-  "title": "Discovery Version",
-  "type": "string"
-}

removedOutput schema / $defs / OperationSearchResult / properties / domain

Removed value: -{
-  "anyOf": [
-    {
-      "type": "string"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "title": "Domain"
-}

removedOutput schema / $defs / OperationSearchResult / properties / match_metadata_truncated

Removed value: -{
-  "default": false,
-  "title": "Match Metadata Truncated",
-  "type": "boolean"
-}

addedOutput schema / $defs / OperationSearchResult / properties / namespace

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Namespace"
+}

removedOutput schema / $defs / OperationSearchResult / properties / response_byte_limit
```
Removed value: -{
-  "title": "Response Byte Limit",
-  "type": "integer"
-}
```
removedOutput schema / $defs / OperationSearchResult / properties / truncated
```
Removed value: -{
-  "title": "Truncated",
-  "type": "boolean"
-}
```

removedOutput schema / $defs / OperationSearchResult / properties / truncation_reason

Removed value: -{
-  "anyOf": [
-    {
-      "type": "string"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "title": "Truncation Reason"
-}

changedOutput schema / $defs / OperationSearchResult / required

Previous value: -[
-  "kind",
-  "discovery_version",
-  "query",
-  "matches",
-  "total_matches",
-  "truncated",
-  "response_byte_limit"
-]New value: +[
+  "kind",
+  "query",
+  "matches",
+  "total_matches"
+]

Changedmath.run2 fields changed

removedOutput schema / properties / operation_version

Removed value: -{
-  "maxLength": 64,
-  "minLength": 1,
-  "title": "Operation Version",
-  "type": "string"
-}

changedOutput schema / required

Previous value: -[
-  "operation_id",
-  "operation_version",
-  "runtime_ms",
-  "output"
-]New value: +[
+  "operation_id",
+  "runtime_ms",
+  "output"
+]

2 tool updatesv0.7.4Aug 19, 2026

Changedmath.find66 fields changed

removedInput schema / $defs / CapabilityInputKind

Removed value: -{
-  "description": "Coarse input boundary used to prevent incompatible discovery routes.",
-  "enum": [
-    "STRUCTURED_REQUEST",
-    "FORMAL_PROPOSITION",
-    "TYPED_ARTIFACT",
-    "NATURAL_LANGUAGE_PROOF"
-  ],
-  "title": "CapabilityInputKind",
-  "type": "string"
-}

addedInput schema / $defs / OperationBrowseRequest

Added value: +{
+  "additionalProperties": false,
+  "properties": {
+    "cursor": {
+      "anyOf": [
+        {
+          "maxLength": 128,
+          "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Cursor"
+    },
+    "domain": {
+      "anyOf": [
+        {
+          "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$",
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Domain"
+    },
+    "limit": {
+      "default": 20,
+      "maximum": 20,
+      "minimum": 1,
+      "title": "Limit",
+      "type": "integer"
+    },
+    "op": {
+      "const": "browse",
+      "title": "Op",
+      "type": "string"
+    }
+  },
+  "required": [
+    "op"
+  ],
+  "title": "OperationBrowseRequest",
+  "type": "object"
+}

addedInput schema / $defs / OperationInspectRequest

Added value: +{
+  "additionalProperties": false,
+  "properties": {
+    "op": {
+      "const": "inspect",
+      "title": "Op",
+      "type": "string"
+    },
+    "operation_id": {
+      "maxLength": 128,
+      "minLength": 3,
+      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
+      "title": "Operation Id",
+      "type": "string"
+    }
+  },
+  "required": [
+    "op",
+    "operation_id"
+  ],
+  "title": "OperationInspectRequest",
+  "type": "object"
+}

addedInput schema / $defs / OperationSearchRequest

Added value: +{
+  "additionalProperties": false,
+  "properties": {
+    "cursor": {
+      "anyOf": [
+        {
+          "maxLength": 128,
+          "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Cursor"
+    },
+    "domain": {
+      "anyOf": [
+        {
+          "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$",
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Domain"
+    },
+    "limit": {
+      "default": 5,
+      "maximum": 20,
+      "minimum": 1,
+      "title": "Limit",
+      "type": "integer"
+    },
+    "op": {
+      "const": "search",
+      "title": "Op",
+      "type": "string"
+    },
+    "query": {
+      "maxLength": 512,
+      "minLength": 1,
+      "title": "Query",
+      "type": "string"
+    }
+  },
+  "required": [
+    "op",
+    "query"
+  ],
+  "title": "OperationSearchRequest",
+  "type": "object"
+}

removedInput schema / additionalProperties
```
Removed value: -false
```

removedInput schema / properties / artifact_type

Removed value: -{
-  "anyOf": [
-    {
-      "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-      "type": "string"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "description": "Exact schema_uri from the stored artifact manifest; requires TYPED_ARTIFACT.",
-  "title": "Artifact Type"
-}

removedInput schema / properties / capability_id

Removed value: -{
-  "anyOf": [
-    {
-      "maxLength": 128,
-      "minLength": 3,
-      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-      "type": "string"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "description": "Exact installed ID; cannot be combined with discovery filters.",
-  "title": "Capability Id"
-}

removedInput schema / properties / cursor

Removed value: -{
-  "anyOf": [
-    {
-      "maxLength": 128,
-      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-      "type": "string"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "description": "Opaque continuation ID from next_cursor. Reuse the same query, domain, input kind, artifact type, and limit.",
-  "title": "Cursor"
-}

removedInput schema / properties / domain

Removed value: -{
-  "anyOf": [
-    {
-      "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$",
-      "type": "string"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "description": "Optional domain tag filter, such as universal_algebra, graph, polynomial, or lean.",
-  "title": "Domain"
-}

removedInput schema / properties / input_kind

Removed value: -{
-  "anyOf": [
-    {
-      "$ref": "#/$defs/CapabilityInputKind"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "description": "Input boundary used to reject incompatible routes."
-}

removedInput schema / properties / limit

Removed value: -{
-  "anyOf": [
-    {
-      "maximum": 20,
-      "minimum": 1,
-      "type": "integer"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "description": "Maximum compact discovery matches; defaults to 5. Lower values reduce returned model context without changing match order.",
-  "title": "Limit"
-}

removedInput schema / properties / query

Removed value: -{
-  "anyOf": [
-    {
-      "maxLength": 512,
-      "minLength": 1,
-      "type": "string"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "description": "Plain-language mathematical outcome to find, such as computing an exact matrix determinant; no capability ID is required.",
-  "title": "Query"
-}

addedInput schema / properties / request

Added value: +{
+  "discriminator": {
+    "mapping": {
+      "browse": "#/$defs/OperationBrowseRequest",
+      "inspect": "#/$defs/OperationInspectRequest",
+      "search": "#/$defs/OperationSearchRequest"
+    },
+    "propertyName": "op"
+  },
+  "oneOf": [
+    {
+      "$ref": "#/$defs/OperationSearchRequest"
+    },
+    {
+      "$ref": "#/$defs/OperationBrowseRequest"
+    },
+    {
+      "$ref": "#/$defs/OperationInspectRequest"
+    }
+  ],
+  "title": "Request"
+}

removedInput schema / properties / view

Removed value: -{
-  "default": "SUMMARY",
-  "description": "Exact lookup only: SUMMARY judges fit; CONTRACT adds the validated input schema and invocation examples; FULL adds audit metadata. Omit for discovery.",
-  "enum": [
-    "SUMMARY",
-    "CONTRACT",
-    "FULL"
-  ],
-  "title": "View",
-  "type": "string"
-}

addedInput schema / required
```
Added value: +[
+  "request"
+]
```

changedInput schema / title

Previous value: -"capability_describeArguments"New value: +"math_findArguments"

removedOutput schema / $defs / CapabilityCatalogRelationship

Removed value: -{
-  "additionalProperties": false,
-  "description": "One typed navigation edge to another installed capability.",
-  "properties": {
-    "capability_id": {
-      "maxLength": 128,
-      "minLength": 3,
-      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-      "title": "Capability Id",
-      "type": "string"
-    },
-    "kind": {
-      "$ref": "#/$defs/CapabilityCatalogRelationshipKind"
-    },
-    "relationship": {
-      "maxLength": 256,
-      "minLength": 1,
-      "title": "Relationship",
-      "type": "string"
-    }
-  },
-  "required": [
-    "capability_id",
-    "kind",
-    "relationship"
-  ],
-  "title": "CapabilityCatalogRelationship",
-  "type": "object"
-}

removedOutput schema / $defs / CapabilityCatalogRelationshipKind

Removed value: -{
-  "description": "Factual installed-capability relationship exposed by the catalog.",
-  "enum": [
-    "INDEPENDENT_VERIFIER",
-    "VERIFIABLE_RESULT_PRODUCER"
-  ],
-  "title": "CapabilityCatalogRelationshipKind",
-  "type": "string"
-}

removedOutput schema / $defs / CapabilityDescriptor

Removed value: -{
-  "additionalProperties": false,
-  "description": "One installed operation advertised by an operator-installed adapter.",
-  "properties": {
-    "accepted_artifact_types": {
-      "default": [],
-      "items": {
-        "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-        "type": "string"
-      },
-      "title": "Accepted Artifact Types",
-      "type": "array"
-    },
-    "accepted_input_kinds": {
-      "default": [
-        "STRUCTURED_REQUEST"
-      ],
-      "items": {
-        "$ref": "#/$defs/CapabilityInputKind"
-      },
-      "title": "Accepted Input Kinds",
-      "type": "array"
-    },
-    "capability_id": {
-      "maxLength": 128,
-      "minLength": 3,
-      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-      "title": "Capability Id",
-      "type": "string"
-    },
-    "description": {
-      "maxLength": 512,
-      "minLength": 1,
-      "title": "Description",
-      "type": "string"
-    },
-    "descriptor_version": {
-      "const": "1",
-      "default": "1",
-      "title": "Descriptor Version",
-      "type": "string"
-    },
-    "discovery_visible": {
-      "default": true,
-      "title": "Discovery Visible",
-      "type": "boolean"
-    },
-    "input_schema": {
-      "additionalProperties": true,
-      "title": "Input Schema",
-      "type": "object"
-    },
-    "invocation_examples": {
-      "default": [],
-      "items": {
-        "$ref": "#/$defs/CapabilityInvocationExample"
-      },
-      "title": "Invocation Examples",
-      "type": "array"
-    },
-    "output_schema": {
-      "additionalProperties": true,
-      "title": "Output Schema",
-      "type": "object"
-    },
-    "produced_artifact_types": {
-      "default": [],
-      "items": {
-        "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-        "type": "string"
-      },
-      "title": "Produced Artifact Types",
-      "type": "array"
-    },
-    "provider": {
-      "maxLength": 128,
-      "minLength": 1,
-      "title": "Provider",
-      "type": "string"
-    },
-    "provider_runtime": {
-      "anyOf": [
-        {
-          "$ref": "#/$defs/CapabilityProviderRuntime"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null
-    },
-    "read_only": {
-      "default": false,
-      "title": "Read Only",
-      "type": "boolean"
-    },
-    "related_capabilities": {
-      "default": [],
-      "items": {
-        "$ref": "#/$defs/CapabilityCatalogRelationship"
-      },
-      "title": "Related Capabilities",
-      "type": "array"
-    },
-    "tags": {
-      "default": [],
-      "items": {
-        "type": "string"
-      },
-      "title": "Tags",
-      "type": "array"
-    },
-    "title": {
-      "maxLength": 128,
-      "minLength": 1,
-      "title": "Title",
-      "type": "string"
-    },
-    "version": {
-      "maxLength": 64,
-      "minLength": 1,
-      "title": "Version",
-      "type": "string"
-    }
-  },
-  "required": [
-    "capability_id",
-    "version",
-    "title",
-    "description",
-    "provider",
-    "input_schema",
-    "output_schema"
-  ],
-  "title": "CapabilityDescriptor",
-  "type": "object"
-}

removedOutput schema / $defs / CapabilityDiscoveryBrowseRecoveryPath

Removed value: -{
-  "additionalProperties": false,
-  "description": "Expose the existing empty-query browse operation.",
-  "properties": {
-    "action": {
-      "const": "browse",
-      "title": "Action",
-      "type": "string"
-    },
-    "arguments": {
-      "additionalProperties": true,
-      "maxProperties": 0,
-      "title": "Arguments",
-      "type": "object"
-    },
-    "tool": {
-      "const": "math.find",
-      "default": "math.find",
-      "title": "Tool",
-      "type": "string"
-    }
-  },
-  "required": [
-    "action"
-  ],
-  "title": "CapabilityDiscoveryBrowseRecoveryPath",
-  "type": "object"
-}

removedOutput schema / $defs / CapabilityDiscoveryInspectCatalogRecoveryPath

Removed value: -{
-  "additionalProperties": false,
-  "description": "Expose the complete catalog resource as an alternative access path.",
-  "properties": {
-    "action": {
-      "const": "inspect_catalog",
-      "title": "Action",
-      "type": "string"
-    },
-    "resource_uri": {
-      "const": "capability://catalog",
-      "default": "capability://catalog",
-      "title": "Resource Uri",
-      "type": "string"
-    }
-  },
-  "required": [
-    "action"
-  ],
-  "title": "CapabilityDiscoveryInspectCatalogRecoveryPath",
-  "type": "object"
-}

removedOutput schema / $defs / CapabilityDiscoveryReformulateQueryRecoveryPath

Removed value: -{
-  "additionalProperties": false,
-  "description": "Offer a differently worded query without prescribing one.",
-  "properties": {
-    "action": {
-      "const": "reformulate_query",
-      "title": "Action",
-      "type": "string"
-    },
-    "change": {
-      "const": "Use different or broader mathematical language for query.",
-      "default": "Use different or broader mathematical language for query.",
-      "title": "Change",
-      "type": "string"
-    },
-    "tool": {
-      "const": "math.find",
-      "default": "math.find",
-      "title": "Tool",
-      "type": "string"
-    }
-  },
-  "required": [
-    "action"
-  ],
-  "title": "CapabilityDiscoveryReformulateQueryRecoveryPath",
-  "type": "object"
-}

removedOutput schema / $defs / CapabilityDiscoveryRemoveFiltersRecoveryPath

Removed value: -{
-  "additionalProperties": false,
-  "description": "Offer unfiltered discovery without ranking it above other choices.",
-  "properties": {
-    "action": {
-      "const": "remove_filters",
-      "title": "Action",
-      "type": "string"
-    },
-    "change": {
-      "const": "Remove domain, input_kind, or artifact_type filters.",
-      "default": "Remove domain, input_kind, or artifact_type filters.",
-      "title": "Change",
-      "type": "string"
-    },
-    "tool": {
-      "const": "math.find",
-      "default": "math.find",
-      "title": "Tool",
-      "type": "string"
-    }
-  },
-  "required": [
-    "action"
-  ],
-  "title": "CapabilityDiscoveryRemoveFiltersRecoveryPath",
-  "type": "object"
-}

removedOutput schema / $defs / CapabilityDiscoveryRemoveUnknownDomainRecoveryPath

Removed value: -{
-  "additionalProperties": false,
-  "description": "Expose the rejected domain filter as one removable constraint.",
-  "properties": {
-    "action": {
-      "const": "remove_unknown_domain_filter",
-      "title": "Action",
-      "type": "string"
-    },
-    "change": {
-      "const": "Retry without the unrecognized domain filter.",
-      "default": "Retry without the unrecognized domain filter.",
-      "title": "Change",
-      "type": "string"
-    },
-    "rejected_domain": {
-      "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$",
-      "title": "Rejected Domain",
-      "type": "string"
-    },
-    "tool": {
-      "const": "math.find",
-      "default": "math.find",
-      "title": "Tool",
-      "type": "string"
-    }
-  },
-  "required": [
-    "action",
-    "rejected_domain"
-  ],
-  "title": "CapabilityDiscoveryRemoveUnknownDomainRecoveryPath",
-  "type": "object"
-}

removedOutput schema / $defs / CapabilityInputKind

Removed value: -{
-  "description": "Coarse input boundary used to prevent incompatible discovery routes.",
-  "enum": [
-    "STRUCTURED_REQUEST",
-    "FORMAL_PROPOSITION",
-    "TYPED_ARTIFACT",
-    "NATURAL_LANGUAGE_PROOF"
-  ],
-  "title": "CapabilityInputKind",
-  "type": "string"
-}

removedOutput schema / $defs / CapabilityInstallTier

Removed value: -{
-  "description": "Operational cost and isolation required to install one provider.",
-  "enum": [
-    "T0",
-    "T1",
-    "T2",
-    "T3"
-  ],
-  "title": "CapabilityInstallTier",
-  "type": "string"
-}

removedOutput schema / $defs / CapabilityInvocationExample

Removed value: -{
-  "additionalProperties": false,
-  "description": "One operator-authored, schema-valid example.",
-  "properties": {
-    "description": {
-      "maxLength": 256,
-      "minLength": 1,
-      "title": "Description",
-      "type": "string"
-    },
-    "input": {
-      "additionalProperties": true,
-      "title": "Input",
-      "type": "object"
-    },
-    "name": {
-      "maxLength": 64,
-      "minLength": 1,
-      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)*$",
-      "title": "Name",
-      "type": "string"
-    }
-  },
-  "required": [
-    "name",
-    "description",
-    "input"
-  ],
-  "title": "CapabilityInvocationExample",
-  "type": "object"
-}

removedOutput schema / $defs / CapabilityProviderAvailability

Removed value: -{
-  "description": "Whether this exact provider runtime is callable in the current process.",
-  "enum": [
-    "AVAILABLE",
-    "UNAVAILABLE"
-  ],
-  "title": "CapabilityProviderAvailability",
-  "type": "string"
-}

removedOutput schema / $defs / CapabilityProviderDigestKind

Removed value: -{
-  "description": "What immutable provider material the runtime digest covers.",
-  "enum": [
-    "SOURCE_TREE",
-    "PYTHON_DISTRIBUTION_RECORD",
-    "EXECUTABLE",
-    "COMPOSITE"
-  ],
-  "title": "CapabilityProviderDigestKind",
-  "type": "string"
-}

removedOutput schema / $defs / CapabilityProviderRuntime

Removed value: -{
-  "additionalProperties": false,
-  "description": "Exact runtime identity and operator-facing availability metadata.",
-  "properties": {
-    "availability": {
-      "$ref": "#/$defs/CapabilityProviderAvailability"
-    },
-    "checker_ids": {
-      "default": [],
-      "items": {
-        "pattern": "^checker://sha256/[0-9a-f]{64}$",
-        "type": "string"
-      },
-      "title": "Checker Ids",
-      "type": "array"
-    },
-    "configuration": {
-      "additionalProperties": true,
-      "title": "Configuration",
-      "type": "object"
-    },
-    "diagnostic": {
-      "anyOf": [
-        {
-          "maxLength": 512,
-          "minLength": 1,
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Diagnostic"
-    },
-    "digest": {
-      "anyOf": [
-        {
-          "pattern": "^sha256:[0-9a-f]{64}$",
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Digest"
-    },
-    "digest_kind": {
-      "anyOf": [
-        {
-          "$ref": "#/$defs/CapabilityProviderDigestKind"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null
-    },
-    "distribution_import_name": {
-      "anyOf": [
-        {
-          "maxLength": 256,
-          "minLength": 1,
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Distribution Import Name"
-    },
-    "distribution_required_attributes": {
-      "default": [],
-      "items": {
-        "type": "string"
-      },
-      "maxItems": 64,
-      "title": "Distribution Required Attributes",
-      "type": "array"
-    },
-    "features": {
-      "default": [],
-      "items": {
-        "type": "string"
-      },
-      "title": "Features",
-      "type": "array"
-    },
-    "install_tier": {
-      "$ref": "#/$defs/CapabilityInstallTier"
-    },
-    "license_files": {
-      "default": [],
-      "items": {
-        "type": "string"
-      },
-      "title": "License Files",
-      "type": "array"
-    },
-    "license_id": {
-      "maxLength": 128,
-      "minLength": 1,
-      "title": "License Id",
-      "type": "string"
-    },
-    "platform": {
-      "maxLength": 128,
-      "minLength": 1,
-      "title": "Platform",
-      "type": "string"
-    },
-    "provider": {
-      "maxLength": 128,
-      "minLength": 3,
-      "pattern": "^[a-z0-9]+(?:[._-][a-z0-9]+)*$",
-      "title": "Provider",
-      "type": "string"
-    },
-    "runtime_version": {
-      "const": "1",
-      "default": "1",
-      "title": "Runtime Version",
-      "type": "string"
-    },
-    "version": {
-      "anyOf": [
-        {
-          "maxLength": 128,
-          "minLength": 1,
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Version"
-    }
-  },
-  "required": [
-    "provider",
-    "availability",
-    "platform",
-    "install_tier",
-    "license_id"
-  ],
-  "title": "CapabilityProviderRuntime",
-  "type": "object"
-}

addedOutput schema / $defs / OperationBrowseCard

Added value: +{
+  "additionalProperties": false,
+  "description": "One compact operation card in deterministic catalog order.",
+  "properties": {
+    "description": {
+      "maxLength": 512,
+      "minLength": 1,
+      "title": "Description",
+      "type": "string"
+    },
+    "operation_id": {
+      "maxLength": 128,
+      "minLength": 3,
+      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
+      "title": "Operation Id",
+      "type": "string"
+    },
+    "tags": {
+      "default": [],
+      "items": {
+        "type": "string"
+      },
+      "title": "Tags",
+      "type": "array"
+    },
+    "title": {
+      "maxLength": 128,
+      "minLength": 1,
+      "title": "Title",
+      "type": "string"
+    }
+  },
+  "required": [
+    "operation_id",
+    "title",
+    "description"
+  ],
+  "title": "OperationBrowseCard",
+  "type": "object"
+}

addedOutput schema / $defs / OperationBrowseResult

Added value: +{
+  "additionalProperties": false,
+  "properties": {
+    "catalog_resource": {
+      "const": "operation://catalog",
+      "default": "operation://catalog",
+      "title": "Catalog Resource",
+      "type": "string"
+    },
+    "discovery_version": {
+      "const": "1",
+      "title": "Discovery Version",
+      "type": "string"
+    },
+    "domain": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Domain"
+    },
+    "kind": {
+      "const": "browse",
+      "title": "Kind",
+      "type": "string"
+    },
+    "next_cursor": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Next Cursor"
+    },
+    "operation_metadata_truncated": {
+      "default": false,
+      "title": "Operation Metadata Truncated",
+      "type": "boolean"
+    },
+    "operations": {
+      "items": {
+        "$ref": "#/$defs/OperationBrowseCard"
+      },
+      "title": "Operations",
+      "type": "array"
+    },
+    "response_byte_limit": {
+      "title": "Response Byte Limit",
+      "type": "integer"
+    },
+    "total_operations": {
+      "title": "Total Operations",
+      "type": "integer"
+    },
+    "truncated": {
+      "title": "Truncated",
+      "type": "boolean"
+    },
+    "truncation_reason": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Truncation Reason"
+    }
+  },
+  "required": [
+    "kind",
+    "discovery_version",
+    "operations",
+    "total_operations",
+    "truncated",
+    "response_byte_limit"
+  ],
+  "title": "OperationBrowseResult",
+  "type": "object"
+}

addedOutput schema / $defs / OperationDescriptor

Added value: +{
+  "additionalProperties": false,
+  "description": "One installed operation advertised by the immutable catalog.",
+  "properties": {
+    "description": {
+      "maxLength": 512,
+      "minLength": 1,
+      "title": "Description",
+      "type": "string"
+    },
+    "descriptor_version": {
+      "const": "1",
+      "default": "1",
+      "title": "Descriptor Version",
+      "type": "string"
+    },
+    "examples": {
+      "default": [],
+      "items": {
+        "$ref": "#/$defs/OperationExample"
+      },
+      "title": "Examples",
+      "type": "array"
+    },
+    "input_schema": {
+      "additionalProperties": true,
+      "title": "Input Schema",
+      "type": "object"
+    },
+    "operation_id": {
+      "maxLength": 128,
+      "minLength": 3,
+      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
+      "title": "Operation Id",
+      "type": "string"
+    },
+    "output_schema": {
+      "additionalProperties": true,
+      "title": "Output Schema",
+      "type": "object"
+    },
+    "read_only": {
+      "default": false,
+      "title": "Read Only",
+      "type": "boolean"
+    },
+    "tags": {
+      "default": [],
+      "items": {
+        "type": "string"
+      },
+      "title": "Tags",
+      "type": "array"
+    },
+    "title": {
+      "maxLength": 128,
+      "minLength": 1,
+      "title": "Title",
+      "type": "string"
+    },
+    "version": {
+      "maxLength": 64,
+      "minLength": 1,
+      "title": "Version",
+      "type": "string"
+    }
+  },
+  "required": [
+    "operation_id",
+    "version",
+    "title",
+    "description",
+    "input_schema",
+    "output_schema"
+  ],
+  "title": "OperationDescriptor",
+  "type": "object"
+}

addedOutput schema / $defs / OperationDiscoveryError

Added value: +{
+  "additionalProperties": false,
+  "properties": {
+    "error": {
+      "$ref": "#/$defs/OperationDiscoveryErrorDetail"
+    },
+    "kind": {
+      "const": "error",
+      "title": "Kind",
+      "type": "string"
+    }
+  },
+  "required": [
+    "kind",
+    "error"
+  ],
+  "title": "OperationDiscoveryError",
+  "type": "object"
+}

addedOutput schema / $defs / OperationDiscoveryErrorDetail

Added value: +{
+  "additionalProperties": false,
+  "properties": {
+    "code": {
+      "enum": [
+        "INVALID_CURSOR",
+        "UNKNOWN_OPERATION"
+      ],
+      "title": "Code",
+      "type": "string"
+    },
+    "hint": {
+      "title": "Hint",
+      "type": "string"
+    },
+    "message": {
+      "title": "Message",
+      "type": "string"
+    },
+    "stage": {
+      "enum": [
+        "operation_discovery",
+        "operation_resolution"
+      ],
+      "title": "Stage",
+      "type": "string"
+    }
+  },
+  "required": [
+    "code",
+    "stage",
+    "message",
+    "hint"
+  ],
+  "title": "OperationDiscoveryErrorDetail",
+  "type": "object"
+}

addedOutput schema / $defs / OperationDiscoveryMatch

Added value: +{
+  "additionalProperties": false,
+  "description": "One compact installed outcome returned by operation discovery.",
+  "properties": {
+    "applicability": {
+      "enum": [
+        "INCOMPATIBLE",
+        "NEEDS_MORE_TYPED_REQUIREMENTS"
+      ],
+      "title": "Applicability",
+      "type": "string"
+    },
+    "applicability_code": {
+      "const": "FULL_REQUEST_REQUIRED",
+      "title": "Applicability Code",
+      "type": "string"
+    },
+    "description": {
+      "maxLength": 512,
+      "minLength": 1,
+      "title": "Description",
+      "type": "string"
+    },
+    "operation_id": {
+      "maxLength": 128,
+      "minLength": 3,
+      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
+      "title": "Operation Id",
+      "type": "string"
+    },
+    "relevance_score": {
+      "default": 0,
+      "minimum": 0,
+      "title": "Relevance Score",
+      "type": "integer"
+    },
+    "tags": {
+      "default": [],
+      "items": {
+        "type": "string"
+      },
+      "title": "Tags",
+      "type": "array"
+    },
+    "title": {
+      "maxLength": 128,
+      "minLength": 1,
+      "title": "Title",
+      "type": "string"
+    }
+  },
+  "required": [
+    "operation_id",
+    "title",
+    "description",
+    "applicability",
+    "applicability_code"
+  ],
+  "title": "OperationDiscoveryMatch",
+  "type": "object"
+}

addedOutput schema / $defs / OperationExample

Added value: +{
+  "additionalProperties": false,
+  "description": "One operator-authored, schema-valid example.",
+  "properties": {
+    "description": {
+      "maxLength": 256,
+      "minLength": 1,
+      "title": "Description",
+      "type": "string"
+    },
+    "input": {
+      "additionalProperties": true,
+      "title": "Input",
+      "type": "object"
+    },
+    "name": {
+      "maxLength": 64,
+      "minLength": 1,
+      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)*$",
+      "title": "Name",
+      "type": "string"
+    }
+  },
+  "required": [
+    "name",
+    "description",
+    "input"
+  ],
+  "title": "OperationExample",
+  "type": "object"
+}

addedOutput schema / $defs / OperationInspectionResult

Added value: +{
+  "additionalProperties": false,
+  "properties": {
+    "kind": {
+      "const": "operation",
+      "title": "Kind",
+      "type": "string"
+    },
+    "operation": {
+      "$ref": "#/$defs/OperationDescriptor"
+    }
+  },
+  "required": [
+    "kind",
+    "operation"
+  ],
+  "title": "OperationInspectionResult",
+  "type": "object"
+}

addedOutput schema / $defs / OperationSearchResult

Added value: +{
+  "additionalProperties": false,
+  "properties": {
+    "catalog_resource": {
+      "const": "operation://catalog",
+      "default": "operation://catalog",
+      "title": "Catalog Resource",
+      "type": "string"
+    },
+    "discovery_version": {
+      "const": "1",
+      "title": "Discovery Version",
+      "type": "string"
+    },
+    "domain": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Domain"
+    },
+    "kind": {
+      "const": "discovery",
+      "title": "Kind",
+      "type": "string"
+    },
+    "match_metadata_truncated": {
+      "default": false,
+      "title": "Match Metadata Truncated",
+      "type": "boolean"
+    },
+    "matches": {
+      "items": {
+        "$ref": "#/$defs/OperationDiscoveryMatch"
+      },
+      "title": "Matches",
+      "type": "array"
+    },
+    "next_cursor": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Next Cursor"
+    },
+    "query": {
+      "title": "Query",
+      "type": "string"
+    },
+    "response_byte_limit": {
+      "title": "Response Byte Limit",
+      "type": "integer"
+    },
+    "total_matches": {
+      "title": "Total Matches",
+      "type": "integer"
+    },
+    "truncated": {
+      "title": "Truncated",
+      "type": "boolean"
+    },
+    "truncation_reason": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Truncation Reason"
+    }
+  },
+  "required": [
+    "kind",
+    "discovery_version",
+    "query",
+    "matches",
+    "total_matches",
+    "truncated",
+    "response_byte_limit"
+  ],
+  "title": "OperationSearchResult",
+  "type": "object"
+}

removedOutput schema / $defs / _CapabilityDescriptorProjection

Removed value: -{
-  "additionalProperties": false,
-  "description": "Typed SUMMARY/CONTRACT projection used only at the MCP boundary.",
-  "properties": {
-    "accepted_artifact_types": {
-      "items": {
-        "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-        "type": "string"
-      },
-      "title": "Accepted Artifact Types",
-      "type": "array"
-    },
-    "accepted_input_kinds": {
-      "items": {
-        "$ref": "#/$defs/CapabilityInputKind"
-      },
-      "title": "Accepted Input Kinds",
-      "type": "array"
-    },
-    "capability_id": {
-      "maxLength": 128,
-      "minLength": 3,
-      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-      "title": "Capability Id",
-      "type": "string"
-    },
-    "description": {
-      "title": "Description",
-      "type": "string"
-    },
-    "has_invocation_examples": {
-      "anyOf": [
-        {
-          "type": "boolean"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Has Invocation Examples"
-    },
-    "input_schema": {
-      "anyOf": [
-        {
-          "additionalProperties": true,
-          "type": "object"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Input Schema"
-    },
-    "input_schema_summary": {
-      "anyOf": [
-        {
-          "$ref": "#/$defs/_SchemaSummary"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null
-    },
-    "output_schema_summary": {
-      "$ref": "#/$defs/_SchemaSummary"
-    },
-    "produced_artifact_types": {
-      "items": {
-        "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-        "type": "string"
-      },
-      "title": "Produced Artifact Types",
-      "type": "array"
-    },
-    "provider": {
-      "title": "Provider",
-      "type": "string"
-    },
-    "provider_runtime": {
-      "anyOf": [
-        {
-          "$ref": "#/$defs/_ProviderRuntimeProjection"
-        },
-        {
-          "type": "null"
-        }
-      ]
-    },
-    "tags": {
-      "anyOf": [
-        {
-          "items": {
-            "type": "string"
-          },
-          "type": "array"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Tags"
-    },
-    "title": {
-      "title": "Title",
-      "type": "string"
-    },
-    "version": {
-      "title": "Version",
-      "type": "string"
-    }
-  },
-  "required": [
-    "capability_id",
-    "version",
-    "title",
-    "description",
-    "provider",
-    "provider_runtime",
-    "accepted_input_kinds",
-    "accepted_artifact_types",
-    "produced_artifact_types",
-    "output_schema_summary"
-  ],
-  "title": "_CapabilityDescriptorProjection",
-  "type": "object"
-}

removedOutput schema / $defs / _CapabilityDiscoveryError

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "error": {
-      "$ref": "#/$defs/_CapabilityDiscoveryErrorDetail"
-    },
-    "kind": {
-      "const": "error",
-      "title": "Kind",
-      "type": "string"
-    }
-  },
-  "required": [
-    "kind",
-    "error"
-  ],
-  "title": "_CapabilityDiscoveryError",
-  "type": "object"
-}

removedOutput schema / $defs / _CapabilityDiscoveryErrorDetail

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "available_recovery_paths": {
-      "default": [],
-      "items": {
-        "anyOf": [
-          {
-            "$ref": "#/$defs/_CapabilitySearchRecoveryPath"
-          },
-          {
-            "$ref": "#/$defs/CapabilityDiscoveryInspectCatalogRecoveryPath"
-          }
-        ]
-      },
-      "title": "Available Recovery Paths",
-      "type": "array"
-    },
-    "code": {
-      "enum": [
-        "INVALID_CURSOR",
-        "UNKNOWN_CAPABILITY"
-      ],
-      "title": "Code",
-      "type": "string"
-    },
-    "hint": {
-      "title": "Hint",
-      "type": "string"
-    },
-    "message": {
-      "title": "Message",
-      "type": "string"
-    },
-    "nearby_capability_ids": {
-      "default": [],
-      "items": {
-        "maxLength": 128,
-        "minLength": 3,
-        "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-        "type": "string"
-      },
-      "title": "Nearby Capability Ids",
-      "type": "array"
-    },
-    "stage": {
-      "enum": [
-        "capability_discovery",
-        "capability_resolution"
-      ],
-      "title": "Stage",
-      "type": "string"
-    }
-  },
-  "required": [
-    "code",
-    "stage",
-    "message",
-    "hint"
-  ],
-  "title": "_CapabilityDiscoveryErrorDetail",
-  "type": "object"
-}

removedOutput schema / $defs / _CapabilityDiscoveryOperationCard

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "accepted_artifact_types": {
-      "items": {
-        "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-        "type": "string"
-      },
-      "title": "Accepted Artifact Types",
-      "type": "array"
-    },
-    "accepted_input_kinds": {
-      "items": {
-        "$ref": "#/$defs/CapabilityInputKind"
-      },
-      "title": "Accepted Input Kinds",
-      "type": "array"
-    },
-    "capability_id": {
-      "maxLength": 128,
-      "minLength": 3,
-      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-      "title": "Capability Id",
-      "type": "string"
-    },
-    "description": {
-      "maxLength": 512,
-      "minLength": 1,
-      "title": "Description",
-      "type": "string"
-    },
-    "has_invocation_examples": {
-      "default": false,
-      "title": "Has Invocation Examples",
-      "type": "boolean"
-    },
-    "input_schema_summary": {
-      "anyOf": [
-        {
-          "$ref": "#/$defs/_SchemaSummary"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null
-    },
-    "invocation_example": {
-      "anyOf": [
-        {
-          "$ref": "#/$defs/_DiscoveryInvocationExample"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null
-    },
-    "lexical_fit": {
-      "default": "WEAK_LEXICAL_MATCH",
-      "enum": [
-        "STRONG_CANDIDATE",
-        "WEAK_LEXICAL_MATCH"
-      ],
-      "title": "Lexical Fit",
-      "type": "string"
-    },
-    "matched_on": {
-      "default": [],
-      "items": {
-        "type": "string"
-      },
-      "title": "Matched On",
-      "type": "array"
-    },
-    "matched_terms": {
-      "default": [],
-      "items": {
-        "type": "string"
-      },
-      "title": "Matched Terms",
-      "type": "array"
-    },
-    "output_schema_summary": {
-      "$ref": "#/$defs/_SchemaSummary"
-    },
-    "produced_artifact_types": {
-      "items": {
-        "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-        "type": "string"
-      },
-      "title": "Produced Artifact Types",
-      "type": "array"
-    },
-    "provider_availability": {
-      "anyOf": [
-        {
-          "$ref": "#/$defs/CapabilityProviderAvailability"
-        },
-        {
-          "const": "UNKNOWN",
-          "type": "string"
-        }
-      ],
-      "title": "Provider Availability"
-    },
-    "query_coverage_milli": {
-      "default": 0,
-      "maximum": 1000,
-      "minimum": 0,
-      "title": "Query Coverage Milli",
-      "type": "integer"
-    },
-    "query_term_count": {
-      "default": 0,
-      "minimum": 0,
-      "title": "Query Term Count",
-      "type": "integer"
-    },
-    "related_capabilities": {
-      "items": {
-        "$ref": "#/$defs/_RelatedCapability"
-      },
-      "title": "Related Capabilities",
-      "type": "array"
-    },
-    "relevance_score": {
-      "default": 0,
-      "minimum": 0,
-      "title": "Relevance Score",
-      "type": "integer"
-    },
-    "scope": {
-      "const": "EXACT_SUPPLIED_INPUT_OR_CLAIM",
-      "title": "Scope",
-      "type": "string"
-    },
-    "tags": {
-      "default": [],
-      "items": {
-        "type": "string"
-      },
-      "title": "Tags",
-      "type": "array"
-    },
-    "title": {
-      "maxLength": 128,
-      "minLength": 1,
-      "title": "Title",
-      "type": "string"
-    }
-  },
-  "required": [
-    "capability_id",
-    "title",
-    "description",
-    "accepted_input_kinds",
-    "accepted_artifact_types",
-    "produced_artifact_types",
-    "output_schema_summary",
-    "scope",
-    "provider_availability",
-    "related_capabilities"
-  ],
-  "title": "_CapabilityDiscoveryOperationCard",
-  "type": "object"
-}

removedOutput schema / $defs / _CapabilityDiscoveryResult

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "artifact_type": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Artifact Type"
-    },
-    "available_domains": {
-      "items": {
-        "type": "string"
-      },
-      "title": "Available Domains",
-      "type": "array"
-    },
-    "available_domains_total": {
-      "title": "Available Domains Total",
-      "type": "integer"
-    },
-    "available_domains_truncated": {
-      "title": "Available Domains Truncated",
-      "type": "boolean"
-    },
-    "available_recovery_paths": {
-      "items": {
-        "discriminator": {
-          "mapping": {
-            "browse": "#/$defs/CapabilityDiscoveryBrowseRecoveryPath",
-            "inspect_catalog": "#/$defs/CapabilityDiscoveryInspectCatalogRecoveryPath",
-            "reformulate_query": "#/$defs/CapabilityDiscoveryReformulateQueryRecoveryPath",
-            "remove_filters": "#/$defs/CapabilityDiscoveryRemoveFiltersRecoveryPath",
-            "remove_unknown_domain_filter": "#/$defs/CapabilityDiscoveryRemoveUnknownDomainRecoveryPath"
-          },
-          "propertyName": "action"
-        },
-        "oneOf": [
-          {
-            "$ref": "#/$defs/CapabilityDiscoveryReformulateQueryRecoveryPath"
-          },
-          {
-            "$ref": "#/$defs/CapabilityDiscoveryRemoveUnknownDomainRecoveryPath"
-          },
-          {
-            "$ref": "#/$defs/CapabilityDiscoveryRemoveFiltersRecoveryPath"
-          },
-          {
-            "$ref": "#/$defs/CapabilityDiscoveryBrowseRecoveryPath"
-          },
-          {
-            "$ref": "#/$defs/CapabilityDiscoveryInspectCatalogRecoveryPath"
-          }
-        ]
-      },
-      "title": "Available Recovery Paths",
-      "type": "array"
-    },
-    "catalog_digest": {
-      "title": "Catalog Digest",
-      "type": "string"
-    },
-    "catalog_version": {
-      "title": "Catalog Version",
-      "type": "string"
-    },
-    "discovery_version": {
-      "const": "1",
-      "title": "Discovery Version",
-      "type": "string"
-    },
-    "domain": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Domain"
-    },
-    "domain_filter_basis": {
-      "title": "Domain Filter Basis",
-      "type": "string"
-    },
-    "domain_filter_status": {
-      "enum": [
-        "UNFILTERED",
-        "MATCHED",
-        "UNKNOWN"
-      ],
-      "title": "Domain Filter Status",
-      "type": "string"
-    },
-    "kind": {
-      "const": "discovery",
-      "title": "Kind",
-      "type": "string"
-    },
-    "match_metadata_truncated": {
-      "title": "Match Metadata Truncated",
-      "type": "boolean"
-    },
-    "matches": {
-      "items": {
-        "$ref": "#/$defs/_CapabilityDiscoveryOperationCard"
-      },
-      "title": "Matches",
-      "type": "array"
-    },
-    "next_cursor": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Next Cursor"
-    },
-    "policy_digest": {
-      "title": "Policy Digest",
-      "type": "string"
-    },
-    "policy_profile": {
-      "title": "Policy Profile",
-      "type": "string"
-    },
-    "portfolio_fit": {
-      "enum": [
-        "UNFILTERED",
-        "STRONG_CANDIDATES_FOUND",
-        "ONLY_WEAK_LEXICAL_MATCHES",
-        "NO_LEXICAL_MATCHES"
-      ],
-      "title": "Portfolio Fit",
-      "type": "string"
-    },
-    "portfolio_fit_basis": {
-      "title": "Portfolio Fit Basis",
-      "type": "string"
-    },
-    "query": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Query"
-    },
-    "recovery_paths_are_unranked": {
-      "title": "Recovery Paths Are Unranked",
-      "type": "boolean"
-    },
-    "related_capabilities_truncated": {
-      "title": "Related Capabilities Truncated",
-      "type": "boolean"
-    },
-    "resolved_input_kind": {
-      "anyOf": [
-        {
-          "$ref": "#/$defs/CapabilityInputKind"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null
-    },
-    "response_byte_limit": {
-      "title": "Response Byte Limit",
-      "type": "integer"
-    },
-    "routing_basis": {
-      "title": "Routing Basis",
-      "type": "string"
-    },
-    "routing_status": {
-      "enum": [
-        "UNFILTERED",
-        "ROUTES_FOUND",
-        "NO_ROUTE"
-      ],
-      "title": "Routing Status",
-      "type": "string"
-    },
-    "total_matches": {
-      "title": "Total Matches",
-      "type": "integer"
-    },
-    "truncated": {
-      "title": "Truncated",
-      "type": "boolean"
-    },
-    "truncation_reason": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Truncation Reason"
-    }
-  },
-  "required": [
-    "policy_profile",
-    "policy_digest",
-    "kind",
-    "catalog_version",
-    "catalog_digest",
-    "discovery_version",
-    "domain_filter_status",
-    "domain_filter_basis",
-    "routing_status",
-    "routing_basis",
-    "matches",
-    "total_matches",
-    "truncated",
-    "available_domains",
-    "portfolio_fit",
-    "portfolio_fit_basis",
-    "available_recovery_paths",
-    "recovery_paths_are_unranked",
-    "response_byte_limit",
-    "available_domains_total",
-    "available_domains_truncated",
-    "related_capabilities_truncated",
-    "match_metadata_truncated"
-  ],
-  "title": "_CapabilityDiscoveryResult",
-  "type": "object"
-}

removedOutput schema / $defs / _CapabilityInspectionResult

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "cache": {
-      "anyOf": [
-        {
-          "$ref": "#/$defs/_LeanCacheDescription"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null
-    },
-    "capability": {
-      "anyOf": [
-        {
-          "$ref": "#/$defs/_CapabilityDescriptorProjection"
-        },
-        {
-          "$ref": "#/$defs/CapabilityDescriptor"
-        }
-      ],
-      "title": "Capability"
-    },
-    "invocations": {
-      "anyOf": [
-        {
-          "items": {
-            "$ref": "#/$defs/_CapabilityInvocation"
-          },
-          "type": "array"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Invocations"
-    },
-    "kind": {
-      "const": "capability",
-      "title": "Kind",
-      "type": "string"
-    },
-    "next_views": {
-      "anyOf": [
-        {
-          "$ref": "#/$defs/_NextCapabilityViews"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null
-    },
-    "policy_digest": {
-      "title": "Policy Digest",
-      "type": "string"
-    },
-    "policy_profile": {
-      "title": "Policy Profile",
-      "type": "string"
-    },
-    "related_capabilities": {
-      "anyOf": [
-        {
-          "items": {
-            "$ref": "#/$defs/_RelatedCapability"
-          },
-          "type": "array"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Related Capabilities"
-    },
-    "related_capabilities_byte_limit": {
-      "title": "Related Capabilities Byte Limit",
-      "type": "integer"
-    },
-    "related_capabilities_truncated": {
-      "title": "Related Capabilities Truncated",
-      "type": "boolean"
-    },
-    "scope_rule": {
-      "$ref": "#/$defs/_CapabilityScopeRule"
-    },
-    "synchronous_execution": {
-      "anyOf": [
-        {
-          "$ref": "#/$defs/_SynchronousExecution"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null
-    },
-    "truncation_reason": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Truncation Reason"
-    },
-    "view": {
-      "enum": [
-        "SUMMARY",
-        "CONTRACT",
-        "FULL"
-      ],
-      "title": "View",
-      "type": "string"
-    }
-  },
-  "required": [
-    "policy_profile",
-    "policy_digest",
-    "kind",
-    "view",
-    "capability",
-    "scope_rule",
-    "related_capabilities_byte_limit",
-    "related_capabilities_truncated"
-  ],
-  "title": "_CapabilityInspectionResult",
-  "type": "object"
-}

removedOutput schema / $defs / _CapabilityInvocation

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "arguments": {
-      "$ref": "#/$defs/_CapabilityInvocationArguments"
-    },
-    "description": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Description"
-    },
-    "name": {
-      "title": "Name",
-      "type": "string"
-    },
-    "tool": {
-      "const": "math.run",
-      "title": "Tool",
-      "type": "string"
-    }
-  },
-  "required": [
-    "name",
-    "tool",
-    "arguments"
-  ],
-  "title": "_CapabilityInvocation",
-  "type": "object"
-}

removedOutput schema / $defs / _CapabilityInvocationArguments

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "capability_id": {
-      "maxLength": 128,
-      "minLength": 3,
-      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-      "title": "Capability Id",
-      "type": "string"
-    },
-    "payload": {
-      "additionalProperties": true,
-      "title": "Payload",
-      "type": "object"
-    }
-  },
-  "required": [
-    "capability_id",
-    "payload"
-  ],
-  "title": "_CapabilityInvocationArguments",
-  "type": "object"
-}

removedOutput schema / $defs / _CapabilityScopeRule

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "bounded_repetition": {
-      "title": "Bounded Repetition",
-      "type": "string"
-    },
-    "conclusion_scope": {
-      "const": "Only the exact supplied input or claim is covered.",
-      "title": "Conclusion Scope",
-      "type": "string"
-    }
-  },
-  "required": [
-    "conclusion_scope",
-    "bounded_repetition"
-  ],
-  "title": "_CapabilityScopeRule",
-  "type": "object"
-}

removedOutput schema / $defs / _CapabilitySearchArguments

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "limit": {
-      "const": 5,
-      "default": 5,
-      "title": "Limit",
-      "type": "integer"
-    },
-    "query": {
-      "title": "Query",
-      "type": "string"
-    }
-  },
-  "required": [
-    "query"
-  ],
-  "title": "_CapabilitySearchArguments",
-  "type": "object"
-}

removedOutput schema / $defs / _CapabilitySearchRecoveryPath

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "action": {
-      "const": "search",
-      "title": "Action",
-      "type": "string"
-    },
-    "arguments": {
-      "$ref": "#/$defs/_CapabilitySearchArguments"
-    },
-    "tool": {
-      "const": "math.find",
-      "default": "math.find",
-      "title": "Tool",
-      "type": "string"
-    }
-  },
-  "required": [
-    "action",
-    "arguments"
-  ],
-  "title": "_CapabilitySearchRecoveryPath",
-  "type": "object"
-}

removedOutput schema / $defs / _DiscoveryInvocationExample

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "payload": {
-      "additionalProperties": true,
-      "title": "Payload",
-      "type": "object"
-    }
-  },
-  "required": [
-    "payload"
-  ],
-  "title": "_DiscoveryInvocationExample",
-  "type": "object"
-}

removedOutput schema / $defs / _LeanCacheDescription

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "key": {
-      "title": "Key",
-      "type": "string"
-    },
-    "mathlib_warmup": {
-      "$ref": "#/$defs/_LeanWarmupHealth"
-    },
-    "max_entries": {
-      "title": "Max Entries",
-      "type": "integer"
-    },
-    "warmup_environment_variable": {
-      "const": "JACOBIAN_LEAN_WARMUP=1",
-      "title": "Warmup Environment Variable",
-      "type": "string"
-    }
-  },
-  "required": [
-    "key",
-    "max_entries",
-    "warmup_environment_variable",
-    "mathlib_warmup"
-  ],
-  "title": "_LeanCacheDescription",
-  "type": "object"
-}

removedOutput schema / $defs / _LeanWarmupHealth

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "detail": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "title": "Detail"
-    },
-    "status": {
-      "title": "Status",
-      "type": "string"
-    }
-  },
-  "required": [
-    "status",
-    "detail"
-  ],
-  "title": "_LeanWarmupHealth",
-  "type": "object"
-}

removedOutput schema / $defs / _NextCapabilityViews

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "CONTRACT": {
-      "title": "Contract",
-      "type": "string"
-    },
-    "FULL": {
-      "title": "Full",
-      "type": "string"
-    }
-  },
-  "required": [
-    "CONTRACT",
-    "FULL"
-  ],
-  "title": "_NextCapabilityViews",
-  "type": "object"
-}

removedOutput schema / $defs / _ProviderRuntimeProjection

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "availability": {
-      "$ref": "#/$defs/CapabilityProviderAvailability"
-    },
-    "checker_ids": {
-      "default": [],
-      "items": {
-        "pattern": "^checker://sha256/[0-9a-f]{64}$",
-        "type": "string"
-      },
-      "title": "Checker Ids",
-      "type": "array"
-    },
-    "diagnostic": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Diagnostic"
-    },
-    "digest": {
-      "anyOf": [
-        {
-          "pattern": "^sha256:[0-9a-f]{64}$",
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Digest"
-    },
-    "version": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Version"
-    }
-  },
-  "required": [
-    "availability"
-  ],
-  "title": "_ProviderRuntimeProjection",
-  "type": "object"
-}

removedOutput schema / $defs / _RelatedCapability

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "capability_id": {
-      "maxLength": 128,
-      "minLength": 3,
-      "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-      "title": "Capability Id",
-      "type": "string"
-    },
-    "kind": {
-      "anyOf": [
-        {
-          "$ref": "#/$defs/CapabilityCatalogRelationshipKind"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null
-    },
-    "relationship": {
-      "title": "Relationship",
-      "type": "string"
-    }
-  },
-  "required": [
-    "capability_id",
-    "relationship"
-  ],
-  "title": "_RelatedCapability",
-  "type": "object"
-}

removedOutput schema / $defs / _SchemaSummary

Removed value: -{
-  "additionalProperties": false,
-  "description": "Bounded facts extracted from a capability JSON Schema.",
-  "properties": {
-    "$ref": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "$Ref"
-    },
-    "any_of_variants": {
-      "anyOf": [
-        {
-          "type": "integer"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "Any Of Variants"
-    },
-    "one_of_variants": {
-      "anyOf": [
-        {
-          "type": "integer"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "default": null,
-      "title": "One Of Variants"
-    },
-    "property_names": {
-      "items": {
-        "type": "string"
-      },
-      "title": "Property Names",
-      "type": "array"
-    },
-    "required": {
-      "items": {
-        "type": "string"
-      },
-      "title": "Required",
-      "type": "array"
-    },
-    "type": {
-      "anyOf": [
-        {
-          "type": "string"
-        },
-        {
-          "type": "null"
-        }
-      ],
-      "title": "Type"
-    }
-  },
-  "required": [
-    "type",
-    "required",
-    "property_names"
-  ],
-  "title": "_SchemaSummary",
-  "type": "object"
-}

removedOutput schema / $defs / _SynchronousExecution

Removed value: -{
-  "additionalProperties": false,
-  "properties": {
-    "backend_suitability": {
-      "title": "Backend Suitability",
-      "type": "string"
-    },
-    "larger_search_requires_multiple_bounded_invocations": {
-      "title": "Larger Search Requires Multiple Bounded Invocations",
-      "type": "boolean"
-    },
-    "remote_safe_wall_seconds_max": {
-      "title": "Remote Safe Wall Seconds Max",
-      "type": "integer"
-    },
-    "timeout_is_a_non_conclusion": {
-      "title": "Timeout Is A Non Conclusion",
-      "type": "boolean"
-    }
-  },
-  "required": [
-    "remote_safe_wall_seconds_max",
-    "timeout_is_a_non_conclusion",
-    "larger_search_requires_multiple_bounded_invocations",
-    "backend_suitability"
-  ],
-  "title": "_SynchronousExecution",
-  "type": "object"
-}

changedOutput schema / description

Previous value: -"Closed, discriminated structured output for math.find."New value: +"Closed discriminated output returned directly through MCP SDK 2.0."

addedOutput schema / discriminator / mapping / browse
```
Added value: +"#/$defs/OperationBrowseResult"
```
removedOutput schema / discriminator / mapping / capability
```
Removed value: -"#/$defs/_CapabilityInspectionResult"
```

changedOutput schema / discriminator / mapping / discovery

Previous value: -"#/$defs/_CapabilityDiscoveryResult"New value: +"#/$defs/OperationSearchResult"

changedOutput schema / discriminator / mapping / error

Previous value: -"#/$defs/_CapabilityDiscoveryError"New value: +"#/$defs/OperationDiscoveryError"

addedOutput schema / discriminator / mapping / operation
```
Added value: +"#/$defs/OperationInspectionResult"
```

changedOutput schema / oneOf

Previous value: -[
-  {
-    "$ref": "#/$defs/_CapabilityDiscoveryResult"
-  },
-  {
-    "$ref": "#/$defs/_CapabilityInspectionResult"
-  },
-  {
-    "$ref": "#/$defs/_CapabilityDiscoveryError"
-  }
-]New value: +[
+  {
+    "$ref": "#/$defs/OperationSearchResult"
+  },
+  {
+    "$ref": "#/$defs/OperationBrowseResult"
+  },
+  {
+    "$ref": "#/$defs/OperationInspectionResult"
+  },
+  {
+    "$ref": "#/$defs/OperationDiscoveryError"
+  }
+]

changedOutput schema / title

Previous value: -"CapabilityDiscoveryResponse"New value: +"OperationFindResponse"

Changedmath.run25 fields changed

removedInput schema / additionalProperties
```
Removed value: -false
```

removedInput schema / properties / capability_id

Removed value: -{
-  "maxLength": 128,
-  "minLength": 3,
-  "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-  "title": "Capability Id",
-  "type": "string"
-}

addedInput schema / properties / operation_id

Added value: +{
+  "maxLength": 128,
+  "minLength": 3,
+  "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
+  "title": "Operation Id",
+  "type": "string"
+}

changedInput schema / required

Previous value: -[
-  "capability_id",
-  "payload"
-]New value: +[
+  "operation_id",
+  "payload"
+]

changedInput schema / title

Previous value: -"capability_invokeArguments"New value: +"math_runArguments"

removedOutput schema / $defs

Removed value: -{
-  "CapabilityAssurance": {
-    "additionalProperties": false,
-    "properties": {
-      "basis": {
-        "maxLength": 1024,
-        "minLength": 1,
-        "title": "Basis",
-        "type": "string"
-      },
-      "level": {
-        "$ref": "#/$defs/CapabilityAssuranceLevel"
-      },
-      "verification_record_uri": {
-        "anyOf": [
-          {
-            "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-            "type": "string"
-          },
-          {
-            "type": "null"
-          }
-        ],
-        "default": null,
-        "title": "Verification Record Uri"
-      }
-    },
-    "required": [
-      "level",
-      "basis"
-    ],
-    "title": "CapabilityAssurance",
-    "type": "object"
-  },
-  "CapabilityAssuranceLevel": {
-    "description": "Coarse model-facing assurance without hiding the detailed result record.",
-    "enum": [
-      "HEURISTIC",
-      "COMPUTED",
-      "VERIFIED"
-    ],
-    "title": "CapabilityAssuranceLevel",
-    "type": "string"
-  },
-  "CapabilityCompleteness": {
-    "additionalProperties": false,
-    "description": "Coverage claim over the result's exact declared scope.",
-    "properties": {
-      "assurance_level": {
-        "$ref": "#/$defs/CapabilityAssuranceLevel",
-        "default": "HEURISTIC"
-      },
-      "basis": {
-        "maxLength": 1024,
-        "minLength": 1,
-        "title": "Basis",
-        "type": "string"
-      },
-      "status": {
-        "$ref": "#/$defs/CapabilityCompletenessStatus",
-        "default": "NOT_APPLICABLE"
-      },
-      "verification_record_uri": {
-        "anyOf": [
-          {
-            "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-            "type": "string"
-          },
-          {
-            "type": "null"
-          }
-        ],
-        "default": null,
-        "title": "Verification Record Uri"
-      }
-    },
-    "required": [
-      "basis"
-    ],
-    "title": "CapabilityCompleteness",
-    "type": "object"
-  },
-  "CapabilityCompletenessStatus": {
-    "description": "How much of the explicitly declared scope an operation covered.",
-    "enum": [
-      "NOT_APPLICABLE",
-      "UNKNOWN",
-      "PARTIAL",
-      "COMPLETE"
-    ],
-    "title": "CapabilityCompletenessStatus",
-    "type": "string"
-  },
-  "CapabilityDiagnostic": {
-    "additionalProperties": false,
-    "description": "Actionable, stage-aware failure information without a truth claim.",
-    "properties": {
-      "actual_type": {
-        "anyOf": [
-          {
-            "maxLength": 128,
-            "type": "string"
-          },
-          {
-            "type": "null"
-          }
-        ],
-        "default": null,
-        "title": "Actual Type"
-      },
-      "code": {
-        "pattern": "^[A-Z][A-Z0-9_]{2,63}$",
-        "title": "Code",
-        "type": "string"
-      },
-      "details": {
-        "additionalProperties": true,
-        "title": "Details",
-        "type": "object"
-      },
-      "expected": {
-        "anyOf": [
-          {
-            "maxLength": 1024,
-            "type": "string"
-          },
-          {
-            "type": "null"
-          }
-        ],
-        "default": null,
-        "title": "Expected"
-      },
-      "hint": {
-        "anyOf": [
-          {
-            "maxLength": 1024,
-            "type": "string"
-          },
-          {
-            "type": "null"
-          }
-        ],
-        "default": null,
-        "title": "Hint"
-      },
-      "message": {
-        "maxLength": 1024,
-        "minLength": 1,
-        "title": "Message",
-        "type": "string"
-      },
-      "path": {
-        "anyOf": [
-          {
-            "maxLength": 512,
-            "type": "string"
-          },
-          {
-            "type": "null"
-          }
-        ],
-        "default": null,
-        "title": "Path"
-      },
-      "schema_uri": {
-        "anyOf": [
-          {
-            "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-            "type": "string"
-          },
-          {
-            "type": "null"
-          }
-        ],
-        "default": null,
-        "title": "Schema Uri"
-      },
-      "stage": {
-        "pattern": "^[a-z][a-z0-9_]{1,63}$",
-        "title": "Stage",
-        "type": "string"
-      }
-    },
-    "required": [
-      "code",
-      "stage",
-      "message"
-    ],
-    "title": "CapabilityDiagnostic",
-    "type": "object"
-  },
-  "CapabilityObligation": {
-    "additionalProperties": false,
-    "description": "One materialized proof obligation and its checker-backed lifecycle.",
-    "properties": {
-      "obligation_uri": {
-        "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-        "title": "Obligation Uri",
-        "type": "string"
-      },
-      "status": {
-        "$ref": "#/$defs/CapabilityObligationStatus",
-        "default": "OPEN"
-      },
-      "verification_record_uri": {
-        "anyOf": [
-          {
-            "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-            "type": "string"
-          },
-          {
-            "type": "null"
-          }
-        ],
-        "default": null,
-        "title": "Verification Record Uri"
-      }
-    },
-    "required": [
-      "obligation_uri"
-    ],
-    "title": "CapabilityObligation",
-    "type": "object"
-  },
-  "CapabilityObligationStatus": {
-    "description": "Lifecycle of a proof obligation created by a capability.",
-    "enum": [
-      "OPEN",
-      "DISCHARGED"
-    ],
-    "title": "CapabilityObligationStatus",
-    "type": "string"
-  },
-  "CapabilityRelationship": {
-    "additionalProperties": false,
-    "description": "A domain-owned relationship between exact immutable artifacts.",
-    "properties": {
-      "obligation_uris": {
-        "default": [],
-        "items": {
-          "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-          "type": "string"
-        },
-        "title": "Obligation Uris",
-        "type": "array"
-      },
-      "relation_id": {
-        "maxLength": 128,
-        "minLength": 3,
-        "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-        "title": "Relation Id",
-        "type": "string"
-      },
-      "source_artifact_uris": {
-        "items": {
-          "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-          "type": "string"
-        },
-        "title": "Source Artifact Uris",
-        "type": "array"
-      },
-      "status": {
-        "$ref": "#/$defs/CapabilityRelationshipStatus",
-        "default": "PROPOSED"
-      },
-      "target_artifact_uris": {
-        "items": {
-          "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-          "type": "string"
-        },
-        "title": "Target Artifact Uris",
-        "type": "array"
-      },
-      "verification_record_uri": {
-        "anyOf": [
-          {
-            "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-            "type": "string"
-          },
-          {
-            "type": "null"
-          }
-        ],
-        "default": null,
-        "title": "Verification Record Uri"
-      }
-    },
-    "required": [
-      "relation_id",
-      "source_artifact_uris",
-      "target_artifact_uris"
-    ],
-    "title": "CapabilityRelationship",
-    "type": "object"
-  },
-  "CapabilityRelationshipStatus": {
-    "description": "Whether a returned mathematical relationship has checker backing.",
-    "enum": [
-      "PROPOSED",
-      "VERIFIED"
-    ],
-    "title": "CapabilityRelationshipStatus",
-    "type": "string"
-  },
-  "CapabilityScope": {
-    "additionalProperties": false,
-    "description": "Domain-owned scope parameters, optionally materialized as an artifact.",
-    "properties": {
-      "artifact_uri": {
-        "anyOf": [
-          {
-            "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-            "type": "string"
-          },
-          {
-            "type": "null"
-          }
-        ],
-        "default": null,
-        "title": "Artifact Uri"
-      },
-      "description": {
-        "anyOf": [
-          {
-            "maxLength": 512,
-            "minLength": 1,
-            "type": "string"
-          },
-          {
-            "type": "null"
-          }
-        ],
-        "default": null,
-        "title": "Description"
-      },
-      "parameters": {
-        "additionalProperties": true,
-        "title": "Parameters",
-        "type": "object"
-      }
-    },
-    "title": "CapabilityScope",
-    "type": "object"
-  },
-  "Execution": {
-    "additionalProperties": false,
-    "properties": {
-      "detail": {
-        "anyOf": [
-          {
-            "type": "string"
-          },
-          {
-            "type": "null"
-          }
-        ],
-        "default": null,
-        "title": "Detail"
-      },
-      "runtime_ms": {
-        "anyOf": [
-          {
-            "minimum": 0,
-            "type": "integer"
-          },
-          {
-            "type": "null"
-          }
-        ],
-        "default": null,
-        "title": "Runtime Ms"
-      },
-      "status": {
-        "$ref": "#/$defs/ExecutionStatus"
-      }
-    },
-    "required": [
-      "status"
-    ],
-    "title": "Execution",
-    "type": "object"
-  },
-  "ExecutionStatus": {
-    "description": "Operational completion state, independent of mathematical truth.",
-    "enum": [
-      "COMPLETED",
-      "TIMEOUT",
-      "CANCELLED",
-      "ERROR"
-    ],
-    "title": "ExecutionStatus",
-    "type": "string"
-  }
-}

changedOutput schema / description

Previous value: -"Capability invocation result."New value: +"The final transport envelope around one direct mathematical result."

removedOutput schema / properties / artifact_uris

Removed value: -{
-  "default": [],
-  "items": {
-    "pattern": "^artifact://sha256/[0-9a-f]{64}$",
-    "type": "string"
-  },
-  "title": "Artifact Uris",
-  "type": "array"
-}

removedOutput schema / properties / assurance

Removed value: -{
-  "$ref": "#/$defs/CapabilityAssurance"
-}

removedOutput schema / properties / capability_id

Removed value: -{
-  "maxLength": 128,
-  "minLength": 3,
-  "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
-  "title": "Capability Id",
-  "type": "string"
-}

removedOutput schema / properties / capability_version

Removed value: -{
-  "maxLength": 64,
-  "minLength": 1,
-  "title": "Capability Version",
-  "type": "string"
-}

removedOutput schema / properties / completeness

Removed value: -{
-  "$ref": "#/$defs/CapabilityCompleteness"
-}

removedOutput schema / properties / diagnostics

Removed value: -{
-  "default": [],
-  "items": {
-    "$ref": "#/$defs/CapabilityDiagnostic"
-  },
-  "title": "Diagnostics",
-  "type": "array"
-}

removedOutput schema / properties / execution

Removed value: -{
-  "$ref": "#/$defs/Execution"
-}

removedOutput schema / properties / obligations

Removed value: -{
-  "default": [],
-  "items": {
-    "$ref": "#/$defs/CapabilityObligation"
-  },
-  "title": "Obligations",
-  "type": "array"
-}

addedOutput schema / properties / operation_id

Added value: +{
+  "maxLength": 128,
+  "minLength": 3,
+  "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$",
+  "title": "Operation Id",
+  "type": "string"
+}

addedOutput schema / properties / operation_version

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

removedOutput schema / properties / provider

Removed value: -{
-  "anyOf": [
-    {
-      "maxLength": 128,
-      "minLength": 1,
-      "type": "string"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "title": "Provider"
-}

removedOutput schema / properties / provider_digest

Removed value: -{
-  "anyOf": [
-    {
-      "pattern": "^sha256:[0-9a-f]{64}$",
-      "type": "string"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "title": "Provider Digest"
-}

removedOutput schema / properties / relationships

Removed value: -{
-  "default": [],
-  "items": {
-    "$ref": "#/$defs/CapabilityRelationship"
-  },
-  "title": "Relationships",
-  "type": "array"
-}

removedOutput schema / properties / response_version

Removed value: -{
-  "const": "2",
-  "default": "2",
-  "title": "Response Version",
-  "type": "string"
-}

addedOutput schema / properties / runtime_ms

Added value: +{
+  "minimum": 0,
+  "title": "Runtime Ms",
+  "type": "integer"
+}

removedOutput schema / properties / scope

Removed value: -{
-  "anyOf": [
-    {
-      "$ref": "#/$defs/CapabilityScope"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null
-}

changedOutput schema / required

Previous value: -[
-  "capability_id",
-  "capability_version",
-  "execution",
-  "assurance"
-]New value: +[
+  "operation_id",
+  "operation_version",
+  "runtime_ms",
+  "output"
+]

changedOutput schema / title

Previous value: -"CapabilityResult"New value: +"OperationResult"

2 tool updatesv0.7.3Aug 11, 2026

Changedmath.find21 fields changed

removedInput schema / $defs / CapabilityMode

Removed value: -{
-  "description": "The low-friction exploration and explicit verification lanes.",
-  "enum": [
-    "EXPLORE",
-    "VERIFY"
-  ],
-  "title": "CapabilityMode",
-  "type": "string"
-}

changedInput schema / properties / cursor / description

Previous value: -"Opaque continuation ID from next_cursor. Reuse the same query, domain, mode, input kind, artifact type, and limit."New value: +"Opaque continuation ID from next_cursor. Reuse the same query, domain, input kind, artifact type, and limit."

removedInput schema / properties / mode

Removed value: -{
-  "anyOf": [
-    {
-      "$ref": "#/$defs/CapabilityMode"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null,
-  "description": "Optional EXPLORE or VERIFY capability filter."
-}

removedOutput schema / $defs / CapabilityDescriptor / properties / modes

Removed value: -{
-  "items": {
-    "$ref": "#/$defs/CapabilityMode"
-  },
-  "title": "Modes",
-  "type": "array"
-}

changedOutput schema / $defs / CapabilityDescriptor / required

Previous value: -[
-  "capability_id",
-  "version",
-  "title",
-  "description",
-  "provider",
-  "modes",
-  "input_schema",
-  "output_schema"
-]New value: +[
+  "capability_id",
+  "version",
+  "title",
+  "description",
+  "provider",
+  "input_schema",
+  "output_schema"
+]

changedOutput schema / $defs / CapabilityDiscoveryRemoveFiltersRecoveryPath / properties / change / const

Previous value: -"Remove domain, mode, input_kind, or artifact_type filters."New value: +"Remove domain, input_kind, or artifact_type filters."

changedOutput schema / $defs / CapabilityDiscoveryRemoveFiltersRecoveryPath / properties / change / default

Previous value: -"Remove domain, mode, input_kind, or artifact_type filters."New value: +"Remove domain, input_kind, or artifact_type filters."

changedOutput schema / $defs / CapabilityInvocationExample / description

Previous value: -"One operator-authored, schema-valid example for an advertised mode."New value: +"One operator-authored, schema-valid example."

removedOutput schema / $defs / CapabilityInvocationExample / properties / mode
```
Removed value: -{
-  "$ref": "#/$defs/CapabilityMode"
-}
```

changedOutput schema / $defs / CapabilityInvocationExample / required

Previous value: -[
-  "name",
-  "description",
-  "mode",
-  "input"
-]New value: +[
+  "name",
+  "description",
+  "input"
+]

removedOutput schema / $defs / CapabilityMode

Removed value: -{
-  "description": "The low-friction exploration and explicit verification lanes.",
-  "enum": [
-    "EXPLORE",
-    "VERIFY"
-  ],
-  "title": "CapabilityMode",
-  "type": "string"
-}

removedOutput schema / $defs / _CapabilityDescriptorProjection / properties / modes

Removed value: -{
-  "items": {
-    "$ref": "#/$defs/CapabilityMode"
-  },
-  "title": "Modes",
-  "type": "array"
-}

changedOutput schema / $defs / _CapabilityDescriptorProjection / required

Previous value: -[
-  "capability_id",
-  "version",
-  "title",
-  "description",
-  "provider",
-  "provider_runtime",
-  "modes",
-  "accepted_input_kinds",
-  "accepted_artifact_types",
-  "produced_artifact_types",
-  "output_schema_summary"
-]New value: +[
+  "capability_id",
+  "version",
+  "title",
+  "description",
+  "provider",
+  "provider_runtime",
+  "accepted_input_kinds",
+  "accepted_artifact_types",
+  "produced_artifact_types",
+  "output_schema_summary"
+]

removedOutput schema / $defs / _CapabilityDiscoveryOperationCard / properties / assurance_ceiling

Removed value: -{
-  "enum": [
-    "COMPUTED",
-    "VERIFIED"
-  ],
-  "title": "Assurance Ceiling",
-  "type": "string"
-}

removedOutput schema / $defs / _CapabilityDiscoveryOperationCard / properties / modes

Removed value: -{
-  "items": {
-    "$ref": "#/$defs/CapabilityMode"
-  },
-  "title": "Modes",
-  "type": "array"
-}

changedOutput schema / $defs / _CapabilityDiscoveryOperationCard / required

Previous value: -[
-  "capability_id",
-  "title",
-  "description",
-  "modes",
-  "accepted_input_kinds",
-  "accepted_artifact_types",
-  "produced_artifact_types",
-  "output_schema_summary",
-  "scope",
-  "assurance_ceiling",
-  "provider_availability",
-  "related_capabilities"
-]New value: +[
+  "capability_id",
+  "title",
+  "description",
+  "accepted_input_kinds",
+  "accepted_artifact_types",
+  "produced_artifact_types",
+  "output_schema_summary",
+  "scope",
+  "provider_availability",
+  "related_capabilities"
+]

removedOutput schema / $defs / _CapabilityDiscoveryResult / properties / mode

Removed value: -{
-  "anyOf": [
-    {
-      "$ref": "#/$defs/CapabilityMode"
-    },
-    {
-      "type": "null"
-    }
-  ],
-  "default": null
-}

removedOutput schema / $defs / _CapabilityInvocationArguments / properties / mode
```
Removed value: -{
-  "$ref": "#/$defs/CapabilityMode"
-}
```

changedOutput schema / $defs / _CapabilityInvocationArguments / required

Previous value: -[
-  "capability_id",
-  "mode",
-  "payload"
-]New value: +[
+  "capability_id",
+  "payload"
+]

removedOutput schema / $defs / _DiscoveryInvocationExample / properties / mode
```
Removed value: -{
-  "$ref": "#/$defs/CapabilityMode"
-}
```

changedOutput schema / $defs / _DiscoveryInvocationExample / required

Previous value: -[
-  "mode",
-  "payload"
-]New value: +[
+  "payload"
+]

Changedmath.run5 fields changed

removedInput schema / $defs

Removed value: -{
-  "CapabilityMode": {
-    "description": "The low-friction exploration and explicit verification lanes.",
-    "enum": [
-      "EXPLORE",
-      "VERIFY"
-    ],
-    "title": "CapabilityMode",
-    "type": "string"
-  }
-}

removedInput schema / properties / mode

Removed value: -{
-  "$ref": "#/$defs/CapabilityMode",
-  "default": "EXPLORE"
-}

removedOutput schema / $defs / CapabilityMode

Removed value: -{
-  "description": "The low-friction exploration and explicit verification lanes.",
-  "enum": [
-    "EXPLORE",
-    "VERIFY"
-  ],
-  "title": "CapabilityMode",
-  "type": "string"
-}

removedOutput schema / properties / mode

Removed value: -{
-  "$ref": "#/$defs/CapabilityMode"
-}

changedOutput schema / required

Previous value: -[
-  "capability_id",
-  "capability_version",
-  "mode",
-  "execution",
-  "assurance"
-]New value: +[
+  "capability_id",
+  "capability_version",
+  "execution",
+  "assurance"
+]

4 tool updatesv0.7.2Aug 10, 2026
- Removedcapability.describe
- Removedcapability.invoke
- Addedmath.find
- Addedmath.run
4 tool updatesv0.7.1Aug 4, 2026
- Changedcapability.invoke1 field changed
  - removedInput schema / properties / view
```
Removed value: -{
-  "default": "STANDARD",
-  "enum": [
-    "SUMMARY",
-    "STANDARD",
-    "FULL"
-  ],
-  "title": "View",
-  "type": "string"
-}
```
- Removedworkspace.open
- Removedworkspace.query
- Removedworkspace.write
5 tool updatesv0.7.0Aug 2, 2026
- First observedcapability.describe
- First observedcapability.invoke
- First observedworkspace.open
- First observedworkspace.query
- First observedworkspace.write

Deploy Server

Context All Your Agents Can ShareAgents share what they learn, hand off work, and hold it when you switch models. Start with 5 GB free.fulcradynamics.comAd

TDQS

A4.8/5.0

Scored 2026-10-03 23:05 across 2 tools

Disambiguation5/5

math.find is clearly for discovery and inspection of operations, while math.run is clearly for executing a chosen operation. Their purposes do not overlap and the descriptions consistently direct users to inspect before running.

Naming Consistency5/5

Both tools follow the same math.<verb> pattern with lowercase snake_case verbs. The naming is predictable and consistent across the set.

Tool Count4/5

Two tools are sufficient for a dispatcher-style math catalog: one to find/inspect operations and one to run them. It is slightly below the typical 3-15 range, but the minimal surface is justified by the server's purpose.

Completeness4/5

The set covers the core lifecycle: search, inspect schemas/examples, and execute an operation by ID. Minor gaps exist for batch execution, composition, or direct catalog listing, but these are workable through repeated calls.

Maintenance

ActivityActive

ResponsivenessResponsive

Resources

GitHub Repository

Need Help?

Related Servers

Related MCP Connectors

Math MCP Learning A
io.github.clouatre-labs
Educational MCP server with 17 math/stats tools, visualizations, and persistent workspace
Education & Learning Tools Research & Data Developer Tools
1725
Aman-Amith-Shastry-scientific_computation_mcp AOAuth
ai.smithery
This MCP server enables users to perform scientific computations regarding linear algebra and vect…
Research & Data
2623
AgentMarketplace A
io.github.raditotev
MCP Server for an Agent Task Marketplace
Autonomous Agents Agent Orchestration
221
Proofable MCP AOAuth
io.github.proofable
Give AI agents real access without giving up control through Proofable MCP.
Security Agent Orchestration Autonomous Agents
41

Related MCP Servers

Agentic-AI-Planning-And
AI & Machine Learning Autonomous Agents App Automation
cr21
A
license
Not graded
quality
D
maintenance
MCP server for step-by-step mathematical reasoning and planning, enabling AI agents to execute calculations and perform GUI actions like opening PowerPoint.
Updated a year ago (2025-04-18 22:34 UTC)
1
Apache 2.0
math-logic-mcp
Code Execution Education & Learning Tools
ismailkerimov
A
license
A
quality
D
maintenance
MCP server that gives small LLMs verified symbolic-math & logic tools.
Updated 8 months ago (2026-02-20 12:40 UTC)
6
2
Apache 2.0
SymKit
Knowledge & Memory Research & Data AI & Machine Learning
LBurny
A
license
B
quality
B
maintenance
MCP server for symbolic computation that enables AI agents to perform step-by-step derivations, transform formulas, and verify results with full provenance, combining natural language with formal mathematical operations.
Updated 20 days ago (2026-09-17 21:10 UTC)
41
33 PyPI
12
Apache 2.0
TheoremSearch-MCP
Search Research & Data Knowledge & Memory
FDscend
A
license
Not graded
quality
C
maintenance
An MCP server for semantic search over 9.27 million mathematical statements from sources like arXiv and Stacks Project, offering 5 tools for filtered search, citation weighting, and dependency graph traversal.
Updated 2 months ago (2026-08-07 09:36 UTC)
MIT

빠른 시작

하나의 경계가 명확한 결과 계산

사용 가능한 수학

상태

문서

기여

라이선스

Available Tools

Output Schema

TDQS

Output Schema

TDQS

Tool Schema Changelog

TDQS

Maintenance

Resources

Related MCP Connectors

Related MCP Servers

Agentic-AI-Planning-And

math-logic-mcp

SymKit

TheoremSearch-MCP