A
licenseNot graded
qualityD
maintenanceMCP server for step-by-step mathematical reasoning and planning, enabling AI agents to execute calculations and perform GUI actions like opening PowerPoint.
1
Apache 2.0
jacobian
by morluto
Jacobianは、AIエージェントに検索可能な型付き数学演算の語彙を提供するMCPサーバーです。math.findで演算を発見し、math.runで厳密に境界が定められた1つの数学的契約を実行して、型付きの結果を返します。同じ数学ライブラリは、CLIおよびネイティブPython APIからも利用できます。
各演算は、ワークフローや証明戦略を規定するのではなく、安定した再利用可能な数学的事後条件を確立します。結果は、主張された範囲において厳密であり、近似・不完全・不確実な部分は明示されます。
Jacobianの仮説は、数学的推論が意味的にスコープされた有界演算の実行可能な語彙から恩恵を受けるというものです。 大規模なドメインソルバーや事前構成されたワークフローを公開するのではなく、Jacobianはエージェントが検索して合成できる数学的プリミティブを公開します。これにより、個々の演算が設計時に想定した範囲を超えた解の構築が可能になります。ライブラリは信頼できる数学的動作を提供し、推論モデルがどの動作を行うか、その結果をどう組み合わせるか、そしていつ停止するかを決定します。演算を意味的に狭くドメイン固有に保つことで、単一の証明戦略やワークフローをツール自体に組み込むのではなく、探索空間が維持されます。
意味的原子性が何を意味し、演算の語彙がどのように成長するかについては、実行可能な数学語彙を参照してください。
クイックスタート
Jacobianをグローバルにインストールせずに、正規のPython MCPコマンドを実行します：
uvx --from jacobian jacobian-mcpMCPホストが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バージョンでホイールをインストールし、Jacobianを起動します。他のシステムには互換性のあるアップストリームホイールが存在する場合もありますが、まだテスト済みのリリース契約の一部ではありません。特に、Alpine/muslはPyPIから完全な必須スタックをインストールできません。
Pythonディストリビューションには、数学カーネル、CLI、MCPサーバーが含まれています。npmパッケージは、その正確なパッケージバージョンを対応するuvx呼び出しに決定論的にマッピングします。
Related MCP server: math-logic-mcp
利用可能な数学
組み込みのポートフォリオは、以下の分野をカバーしています：
多項式写像と多項式代数；
正確な線形代数；
グラフ、経路、彩色、および同型；
有界SATおよびSMT求解；
有限代数、確率、幾何、および位相；そして
Leanソースの精緻化。
SATおよびSMT演算は、メンテナンス済みのZ3 Pythonバインディングを直接使用します。オプションのlean.check演算は、固定されたLeanサービス環境で1つのソーススニペットを実行し、リクエストスコープの一時ディレクトリを使用して、型付き診断を返します。math.findを使用して演算を検索し、馴染みのないドメインを閲覧し、math.runを1回呼び出す前に1つの演算を検査します。
メンテナンス済みの演算ポートフォリオとバックエンド要件については、ドメイン演算ライブラリおよびバックエンド要件を参照してください。
ステータス
Jacobian 0.12.0はプレリリース段階です。公開されたパッケージと演算契約がサポート対象のインターフェースを定義しますが、実験的な演算契約はリリース間で変更される可能性があります。
ドキュメント
ドキュメントホーム：チュートリアル、ハウツーガイド、リファレンス、および解説
アーキテクチャ：ランタイム構造と信頼境界
プロダクトモデル：演算契約、所有権、およびプロジェクト境界
ツールリファレンス：MCPリソースと呼び出し契約
バックエンド要件：メンテナンス済みPythonバックエンドとオプションのLean
リモートデプロイ：HTTPデプロイと認証
コントリビューション
JacobianはPython 3.12、uv、および小さなMakefileを使用しています：
make setup
make test-math
make checkコードを変更する前にCONTRIBUTING.mdをお読みください。焦点を絞ったテストコマンド、検証ルール、ドキュメント配置、およびプルリクエストの期待事項が記載されています。
ライセンス
Available Tools
2 toolsmath.findSearch installed Jacobian math toolsARead-onlyIdempotent
Find or inspect public Jacobian MCP operations.
Forms:
query: describe one local mathematical need in ordinary language.namespace,limit,cursor, andsearch_modeare 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 staticruntime_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 toolARead-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 update
v0.7.12- Changed
math.find1 field changed- changed
Input schema / properties / cursor / descriptionPrevious 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 update
v0.7.10- Changed
math.find2 fields changed- added
Input schema / properties / search_modeAdded value: +{ + "default": "precise", + "description": "Precise applicability filtering or broad lexical recall.", + "enum": [ + "precise", + "broad" + ], + "title": "Search Mode", + "type": "string" +} - added
Output schema / $defs / OperationFindResult / properties / search_modeAdded value: +{ + "default": "precise", + "enum": [ + "precise", + "broad" + ], + "title": "Search Mode", + "type": "string" +}
1 tool update
v0.7.9- Changed
math.find12 fields changed- removed
Input schema / $defsRemoved 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" - } -} - added
Input schema / properties / cursorAdded 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" +} - added
Input schema / properties / limitAdded value: +{ + "anyOf": [ + { + "description": "Maximum compact matches to return.", + "maximum": 20, + "minimum": 1, + "type": "integer" + }, + { + "type": "null" + } + ], + "default": null, + "title": "Limit" +} - added
Input schema / properties / namespaceAdded 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" +} - added
Input schema / properties / operation_idAdded 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" +} - added
Input schema / properties / queryAdded 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" +} - removed
Input schema / properties / requestRemoved value: -{ - "discriminator": { - "mapping": { - "inspect": "#/$defs/OperationInspectRequest", - "match": "#/$defs/OperationMatchRequest" - }, - "propertyName": "op" - }, - "oneOf": [ - { - "$ref": "#/$defs/OperationMatchRequest" - }, - { - "$ref": "#/$defs/OperationInspectRequest" - } - ], - "title": "Request" -} - removed
Input schema / requiredRemoved value: -[ - "request" -] - added
Output schema / $defs / BackendAvailabilityAdded 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" +} - added
Output schema / $defs / OperationDescriptor / properties / runtime_requirementsAdded value: +{ + "default": [], + "items": { + "enum": [ + "singular", + "qepcad" + ], + "type": "string" + }, + "title": "Runtime Requirements", + "type": "array" +} - added
Output schema / $defs / OperationDiscoveryMatch / properties / runtime_requirementsAdded value: +{ + "default": [], + "items": { + "enum": [ + "singular", + "qepcad" + ], + "type": "string" + }, + "title": "Runtime Requirements", + "type": "array" +} - added
Output schema / $defs / OperationInspectionResult / properties / backend_availabilityAdded value: +{ + "default": [], + "items": { + "$ref": "#/$defs/BackendAvailability" + }, + "title": "Backend Availability", + "type": "array" +}
1 tool update
v0.7.8- Changed
math.find1 field changed- changed
Input schema / $defs / OperationMatchRequest / properties / cursor / descriptionPrevious 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 update
v0.7.7- Changed
math.find15 fields changed- removed
Input schema / $defs / OperationBrowseRequestRemoved 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" -} - added
Input schema / $defs / OperationMatchRequestAdded 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" +} - removed
Input schema / $defs / OperationSearchRequestRemoved 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" -} - removed
Input schema / properties / request / discriminator / mapping / browseRemoved value: -"#/$defs/OperationBrowseRequest" - added
Input schema / properties / request / discriminator / mapping / matchAdded value: +"#/$defs/OperationMatchRequest" - removed
Input schema / properties / request / discriminator / mapping / searchRemoved value: -"#/$defs/OperationSearchRequest" - changed
Input schema / properties / request / oneOfPrevious value: -[ - { - "$ref": "#/$defs/OperationSearchRequest" - }, - { - "$ref": "#/$defs/OperationBrowseRequest" - }, - { - "$ref": "#/$defs/OperationInspectRequest" - } -]New value: +[ + { + "$ref": "#/$defs/OperationMatchRequest" + }, + { + "$ref": "#/$defs/OperationInspectRequest" + } +] - removed
Output schema / $defs / OperationBrowseCardRemoved 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" -} - removed
Output schema / $defs / OperationBrowseResultRemoved 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" -} - added
Output schema / $defs / OperationFindResultAdded 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" +} - removed
Output schema / $defs / OperationSearchResultRemoved 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" -} - removed
Output schema / discriminator / mapping / browseRemoved value: -"#/$defs/OperationBrowseResult" - removed
Output schema / discriminator / mapping / discoveryRemoved value: -"#/$defs/OperationSearchResult" - added
Output schema / discriminator / mapping / matchesAdded value: +"#/$defs/OperationFindResult" - changed
Output schema / oneOfPrevious 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 updates
v0.7.6- Changed
math.find32 fields changed- removed
Input schema / $defs / OperationBrowseRequest / properties / domainRemoved value: -{ - "anyOf": [ - { - "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$", - "type": "string" - }, - { - "type": "null" - } - ], - "default": null, - "title": "Domain" -} - added
Input schema / $defs / OperationBrowseRequest / properties / namespaceAdded value: +{ + "anyOf": [ + { + "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$", + "type": "string" + }, + { + "type": "null" + } + ], + "default": null, + "title": "Namespace" +} - removed
Input schema / $defs / OperationSearchRequest / properties / domainRemoved value: -{ - "anyOf": [ - { - "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$", - "type": "string" - }, - { - "type": "null" - } - ], - "default": null, - "title": "Domain" -} - added
Input schema / $defs / OperationSearchRequest / properties / namespaceAdded value: +{ + "anyOf": [ + { + "pattern": "^[A-Za-z][A-Za-z0-9_-]{0,127}$", + "type": "string" + }, + { + "type": "null" + } + ], + "default": null, + "title": "Namespace" +} - removed
Input schema / $defs / OperationSearchRequest / properties / query / maxLengthRemoved value: -512 - removed
Output schema / $defs / OperationBrowseCard / properties / description / maxLengthRemoved value: -512 - removed
Output schema / $defs / OperationBrowseResult / properties / discovery_versionRemoved value: -{ - "const": "1", - "title": "Discovery Version", - "type": "string" -} - removed
Output schema / $defs / OperationBrowseResult / properties / domainRemoved value: -{ - "anyOf": [ - { - "type": "string" - }, - { - "type": "null" - } - ], - "default": null, - "title": "Domain" -} - added
Output schema / $defs / OperationBrowseResult / properties / namespaceAdded value: +{ + "anyOf": [ + { + "type": "string" + }, + { + "type": "null" + } + ], + "default": null, + "title": "Namespace" +} - removed
Output schema / $defs / OperationBrowseResult / properties / operation_metadata_truncatedRemoved value: -{ - "default": false, - "title": "Operation Metadata Truncated", - "type": "boolean" -} - removed
Output schema / $defs / OperationBrowseResult / properties / response_byte_limitRemoved value: -{ - "title": "Response Byte Limit", - "type": "integer" -} - removed
Output schema / $defs / OperationBrowseResult / properties / truncatedRemoved value: -{ - "title": "Truncated", - "type": "boolean" -} - removed
Output schema / $defs / OperationBrowseResult / properties / truncation_reasonRemoved value: -{ - "anyOf": [ - { - "type": "string" - }, - { - "type": "null" - } - ], - "default": null, - "title": "Truncation Reason" -} - changed
Output schema / $defs / OperationBrowseResult / requiredPrevious value: -[ - "kind", - "discovery_version", - "operations", - "total_operations", - "truncated", - "response_byte_limit" -]New value: +[ + "kind", + "operations", + "total_operations" +] - removed
Output schema / $defs / OperationDescriptor / properties / description / maxLengthRemoved value: -512 - removed
Output schema / $defs / OperationDescriptor / properties / descriptor_versionRemoved value: -{ - "const": "1", - "default": "1", - "title": "Descriptor Version", - "type": "string" -} - added
Output schema / $defs / OperationDescriptor / properties / discovery_termsAdded value: +{ + "default": [], + "items": { + "type": "string" + }, + "maxItems": 8, + "title": "Discovery Terms", + "type": "array" +} - removed
Output schema / $defs / OperationDescriptor / properties / versionRemoved value: -{ - "maxLength": 64, - "minLength": 1, - "title": "Version", - "type": "string" -} - changed
Output schema / $defs / OperationDescriptor / requiredPrevious value: -[ - "operation_id", - "version", - "title", - "description", - "input_schema", - "output_schema" -]New value: +[ + "operation_id", + "title", + "description", + "input_schema", + "output_schema" +] - removed
Output schema / $defs / OperationDiscoveryMatch / properties / applicabilityRemoved value: -{ - "enum": [ - "INCOMPATIBLE", - "NEEDS_MORE_TYPED_REQUIREMENTS" - ], - "title": "Applicability", - "type": "string" -} - removed
Output schema / $defs / OperationDiscoveryMatch / properties / applicability_codeRemoved value: -{ - "const": "FULL_REQUEST_REQUIRED", - "title": "Applicability Code", - "type": "string" -} - removed
Output schema / $defs / OperationDiscoveryMatch / properties / description / maxLengthRemoved value: -512 - removed
Output schema / $defs / OperationDiscoveryMatch / properties / relevance_scoreRemoved value: -{ - "default": 0, - "minimum": 0, - "title": "Relevance Score", - "type": "integer" -} - changed
Output schema / $defs / OperationDiscoveryMatch / requiredPrevious value: -[ - "operation_id", - "title", - "description", - "applicability", - "applicability_code" -]New value: +[ + "operation_id", + "title", + "description" +] - removed
Output schema / $defs / OperationSearchResult / properties / discovery_versionRemoved value: -{ - "const": "1", - "title": "Discovery Version", - "type": "string" -} - removed
Output schema / $defs / OperationSearchResult / properties / domainRemoved value: -{ - "anyOf": [ - { - "type": "string" - }, - { - "type": "null" - } - ], - "default": null, - "title": "Domain" -} - removed
Output schema / $defs / OperationSearchResult / properties / match_metadata_truncatedRemoved value: -{ - "default": false, - "title": "Match Metadata Truncated", - "type": "boolean" -} - added
Output schema / $defs / OperationSearchResult / properties / namespaceAdded value: +{ + "anyOf": [ + { + "type": "string" + }, + { + "type": "null" + } + ], + "default": null, + "title": "Namespace" +} - removed
Output schema / $defs / OperationSearchResult / properties / response_byte_limitRemoved value: -{ - "title": "Response Byte Limit", - "type": "integer" -} - removed
Output schema / $defs / OperationSearchResult / properties / truncatedRemoved value: -{ - "title": "Truncated", - "type": "boolean" -} - removed
Output schema / $defs / OperationSearchResult / properties / truncation_reasonRemoved value: -{ - "anyOf": [ - { - "type": "string" - }, - { - "type": "null" - } - ], - "default": null, - "title": "Truncation Reason" -} - changed
Output schema / $defs / OperationSearchResult / requiredPrevious value: -[ - "kind", - "discovery_version", - "query", - "matches", - "total_matches", - "truncated", - "response_byte_limit" -]New value: +[ + "kind", + "query", + "matches", + "total_matches" +]
- Changed
math.run2 fields changed- removed
Output schema / properties / operation_versionRemoved value: -{ - "maxLength": 64, - "minLength": 1, - "title": "Operation Version", - "type": "string" -} - changed
Output schema / requiredPrevious value: -[ - "operation_id", - "operation_version", - "runtime_ms", - "output" -]New value: +[ + "operation_id", + "runtime_ms", + "output" +]
2 tool updates
v0.7.4- Changed
math.find66 fields changed- removed
Input schema / $defs / CapabilityInputKindRemoved 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" -} - added
Input schema / $defs / OperationBrowseRequestAdded 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" +} - added
Input schema / $defs / OperationInspectRequestAdded 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" +} - added
Input schema / $defs / OperationSearchRequestAdded 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" +} - removed
Input schema / additionalPropertiesRemoved value: -false - removed
Input schema / properties / artifact_typeRemoved 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" -} - removed
Input schema / properties / capability_idRemoved 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" -} - removed
Input schema / properties / cursorRemoved 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" -} - removed
Input schema / properties / domainRemoved 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" -} - removed
Input schema / properties / input_kindRemoved value: -{ - "anyOf": [ - { - "$ref": "#/$defs/CapabilityInputKind" - }, - { - "type": "null" - } - ], - "default": null, - "description": "Input boundary used to reject incompatible routes." -} - removed
Input schema / properties / limitRemoved 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" -} - removed
Input schema / properties / queryRemoved 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" -} - added
Input schema / properties / requestAdded 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" +} - removed
Input schema / properties / viewRemoved 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" -} - added
Input schema / requiredAdded value: +[ + "request" +] - changed
Input schema / titlePrevious value: -"capability_describeArguments"New value: +"math_findArguments" - removed
Output schema / $defs / CapabilityCatalogRelationshipRemoved 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" -} - removed
Output schema / $defs / CapabilityCatalogRelationshipKindRemoved value: -{ - "description": "Factual installed-capability relationship exposed by the catalog.", - "enum": [ - "INDEPENDENT_VERIFIER", - "VERIFIABLE_RESULT_PRODUCER" - ], - "title": "CapabilityCatalogRelationshipKind", - "type": "string" -} - removed
Output schema / $defs / CapabilityDescriptorRemoved 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" -} - removed
Output schema / $defs / CapabilityDiscoveryBrowseRecoveryPathRemoved 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" -} - removed
Output schema / $defs / CapabilityDiscoveryInspectCatalogRecoveryPathRemoved 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" -} - removed
Output schema / $defs / CapabilityDiscoveryReformulateQueryRecoveryPathRemoved 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" -} - removed
Output schema / $defs / CapabilityDiscoveryRemoveFiltersRecoveryPathRemoved 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" -} - removed
Output schema / $defs / CapabilityDiscoveryRemoveUnknownDomainRecoveryPathRemoved 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" -} - removed
Output schema / $defs / CapabilityInputKindRemoved 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" -} - removed
Output schema / $defs / CapabilityInstallTierRemoved value: -{ - "description": "Operational cost and isolation required to install one provider.", - "enum": [ - "T0", - "T1", - "T2", - "T3" - ], - "title": "CapabilityInstallTier", - "type": "string" -} - removed
Output schema / $defs / CapabilityInvocationExampleRemoved 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" -} - removed
Output schema / $defs / CapabilityProviderAvailabilityRemoved value: -{ - "description": "Whether this exact provider runtime is callable in the current process.", - "enum": [ - "AVAILABLE", - "UNAVAILABLE" - ], - "title": "CapabilityProviderAvailability", - "type": "string" -} - removed
Output schema / $defs / CapabilityProviderDigestKindRemoved value: -{ - "description": "What immutable provider material the runtime digest covers.", - "enum": [ - "SOURCE_TREE", - "PYTHON_DISTRIBUTION_RECORD", - "EXECUTABLE", - "COMPOSITE" - ], - "title": "CapabilityProviderDigestKind", - "type": "string" -} - removed
Output schema / $defs / CapabilityProviderRuntimeRemoved 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" -} - added
Output schema / $defs / OperationBrowseCardAdded 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" +} - added
Output schema / $defs / OperationBrowseResultAdded 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" +} - added
Output schema / $defs / OperationDescriptorAdded 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" +} - added
Output schema / $defs / OperationDiscoveryErrorAdded value: +{ + "additionalProperties": false, + "properties": { + "error": { + "$ref": "#/$defs/OperationDiscoveryErrorDetail" + }, + "kind": { + "const": "error", + "title": "Kind", + "type": "string" + } + }, + "required": [ + "kind", + "error" + ], + "title": "OperationDiscoveryError", + "type": "object" +} - added
Output schema / $defs / OperationDiscoveryErrorDetailAdded 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" +} - added
Output schema / $defs / OperationDiscoveryMatchAdded 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" +} - added
Output schema / $defs / OperationExampleAdded 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" +} - added
Output schema / $defs / OperationInspectionResultAdded value: +{ + "additionalProperties": false, + "properties": { + "kind": { + "const": "operation", + "title": "Kind", + "type": "string" + }, + "operation": { + "$ref": "#/$defs/OperationDescriptor" + } + }, + "required": [ + "kind", + "operation" + ], + "title": "OperationInspectionResult", + "type": "object" +} - added
Output schema / $defs / OperationSearchResultAdded 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" +} - removed
Output schema / $defs / _CapabilityDescriptorProjectionRemoved 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" -} - removed
Output schema / $defs / _CapabilityDiscoveryErrorRemoved value: -{ - "additionalProperties": false, - "properties": { - "error": { - "$ref": "#/$defs/_CapabilityDiscoveryErrorDetail" - }, - "kind": { - "const": "error", - "title": "Kind", - "type": "string" - } - }, - "required": [ - "kind", - "error" - ], - "title": "_CapabilityDiscoveryError", - "type": "object" -} - removed
Output schema / $defs / _CapabilityDiscoveryErrorDetailRemoved 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" -} - removed
Output schema / $defs / _CapabilityDiscoveryOperationCardRemoved 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" -} - removed
Output schema / $defs / _CapabilityDiscoveryResultRemoved 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" -} - removed
Output schema / $defs / _CapabilityInspectionResultRemoved 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" -} - removed
Output schema / $defs / _CapabilityInvocationRemoved 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" -} - removed
Output schema / $defs / _CapabilityInvocationArgumentsRemoved 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" -} - removed
Output schema / $defs / _CapabilityScopeRuleRemoved 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" -} - removed
Output schema / $defs / _CapabilitySearchArgumentsRemoved value: -{ - "additionalProperties": false, - "properties": { - "limit": { - "const": 5, - "default": 5, - "title": "Limit", - "type": "integer" - }, - "query": { - "title": "Query", - "type": "string" - } - }, - "required": [ - "query" - ], - "title": "_CapabilitySearchArguments", - "type": "object" -} - removed
Output schema / $defs / _CapabilitySearchRecoveryPathRemoved 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" -} - removed
Output schema / $defs / _DiscoveryInvocationExampleRemoved value: -{ - "additionalProperties": false, - "properties": { - "payload": { - "additionalProperties": true, - "title": "Payload", - "type": "object" - } - }, - "required": [ - "payload" - ], - "title": "_DiscoveryInvocationExample", - "type": "object" -} - removed
Output schema / $defs / _LeanCacheDescriptionRemoved 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" -} - removed
Output schema / $defs / _LeanWarmupHealthRemoved value: -{ - "additionalProperties": false, - "properties": { - "detail": { - "anyOf": [ - { - "type": "string" - }, - { - "type": "null" - } - ], - "title": "Detail" - }, - "status": { - "title": "Status", - "type": "string" - } - }, - "required": [ - "status", - "detail" - ], - "title": "_LeanWarmupHealth", - "type": "object" -} - removed
Output schema / $defs / _NextCapabilityViewsRemoved value: -{ - "additionalProperties": false, - "properties": { - "CONTRACT": { - "title": "Contract", - "type": "string" - }, - "FULL": { - "title": "Full", - "type": "string" - } - }, - "required": [ - "CONTRACT", - "FULL" - ], - "title": "_NextCapabilityViews", - "type": "object" -} - removed
Output schema / $defs / _ProviderRuntimeProjectionRemoved 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" -} - removed
Output schema / $defs / _RelatedCapabilityRemoved 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" -} - removed
Output schema / $defs / _SchemaSummaryRemoved 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" -} - removed
Output schema / $defs / _SynchronousExecutionRemoved 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" -} - changed
Output schema / descriptionPrevious value: -"Closed, discriminated structured output for math.find."New value: +"Closed discriminated output returned directly through MCP SDK 2.0." - added
Output schema / discriminator / mapping / browseAdded value: +"#/$defs/OperationBrowseResult" - removed
Output schema / discriminator / mapping / capabilityRemoved value: -"#/$defs/_CapabilityInspectionResult" - changed
Output schema / discriminator / mapping / discoveryPrevious value: -"#/$defs/_CapabilityDiscoveryResult"New value: +"#/$defs/OperationSearchResult" - changed
Output schema / discriminator / mapping / errorPrevious value: -"#/$defs/_CapabilityDiscoveryError"New value: +"#/$defs/OperationDiscoveryError" - added
Output schema / discriminator / mapping / operationAdded value: +"#/$defs/OperationInspectionResult" - changed
Output schema / oneOfPrevious value: -[ - { - "$ref": "#/$defs/_CapabilityDiscoveryResult" - }, - { - "$ref": "#/$defs/_CapabilityInspectionResult" - }, - { - "$ref": "#/$defs/_CapabilityDiscoveryError" - } -]New value: +[ + { + "$ref": "#/$defs/OperationSearchResult" + }, + { + "$ref": "#/$defs/OperationBrowseResult" + }, + { + "$ref": "#/$defs/OperationInspectionResult" + }, + { + "$ref": "#/$defs/OperationDiscoveryError" + } +] - changed
Output schema / titlePrevious value: -"CapabilityDiscoveryResponse"New value: +"OperationFindResponse"
- Changed
math.run25 fields changed- removed
Input schema / additionalPropertiesRemoved value: -false - removed
Input schema / properties / capability_idRemoved value: -{ - "maxLength": 128, - "minLength": 3, - "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$", - "title": "Capability Id", - "type": "string" -} - added
Input schema / properties / operation_idAdded value: +{ + "maxLength": 128, + "minLength": 3, + "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$", + "title": "Operation Id", + "type": "string" +} - changed
Input schema / requiredPrevious value: -[ - "capability_id", - "payload" -]New value: +[ + "operation_id", + "payload" +] - changed
Input schema / titlePrevious value: -"capability_invokeArguments"New value: +"math_runArguments" - removed
Output schema / $defsRemoved 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" - } -} - changed
Output schema / descriptionPrevious value: -"Capability invocation result."New value: +"The final transport envelope around one direct mathematical result." - removed
Output schema / properties / artifact_urisRemoved value: -{ - "default": [], - "items": { - "pattern": "^artifact://sha256/[0-9a-f]{64}$", - "type": "string" - }, - "title": "Artifact Uris", - "type": "array" -} - removed
Output schema / properties / assuranceRemoved value: -{ - "$ref": "#/$defs/CapabilityAssurance" -} - removed
Output schema / properties / capability_idRemoved value: -{ - "maxLength": 128, - "minLength": 3, - "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$", - "title": "Capability Id", - "type": "string" -} - removed
Output schema / properties / capability_versionRemoved value: -{ - "maxLength": 64, - "minLength": 1, - "title": "Capability Version", - "type": "string" -} - removed
Output schema / properties / completenessRemoved value: -{ - "$ref": "#/$defs/CapabilityCompleteness" -} - removed
Output schema / properties / diagnosticsRemoved value: -{ - "default": [], - "items": { - "$ref": "#/$defs/CapabilityDiagnostic" - }, - "title": "Diagnostics", - "type": "array" -} - removed
Output schema / properties / executionRemoved value: -{ - "$ref": "#/$defs/Execution" -} - removed
Output schema / properties / obligationsRemoved value: -{ - "default": [], - "items": { - "$ref": "#/$defs/CapabilityObligation" - }, - "title": "Obligations", - "type": "array" -} - added
Output schema / properties / operation_idAdded value: +{ + "maxLength": 128, + "minLength": 3, + "pattern": "^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)+$", + "title": "Operation Id", + "type": "string" +} - added
Output schema / properties / operation_versionAdded value: +{ + "maxLength": 64, + "minLength": 1, + "title": "Operation Version", + "type": "string" +} - removed
Output schema / properties / providerRemoved value: -{ - "anyOf": [ - { - "maxLength": 128, - "minLength": 1, - "type": "string" - }, - { - "type": "null" - } - ], - "default": null, - "title": "Provider" -} - removed
Output schema / properties / provider_digestRemoved value: -{ - "anyOf": [ - { - "pattern": "^sha256:[0-9a-f]{64}$", - "type": "string" - }, - { - "type": "null" - } - ], - "default": null, - "title": "Provider Digest" -} - removed
Output schema / properties / relationshipsRemoved value: -{ - "default": [], - "items": { - "$ref": "#/$defs/CapabilityRelationship" - }, - "title": "Relationships", - "type": "array" -} - removed
Output schema / properties / response_versionRemoved value: -{ - "const": "2", - "default": "2", - "title": "Response Version", - "type": "string" -} - added
Output schema / properties / runtime_msAdded value: +{ + "minimum": 0, + "title": "Runtime Ms", + "type": "integer" +} - removed
Output schema / properties / scopeRemoved value: -{ - "anyOf": [ - { - "$ref": "#/$defs/CapabilityScope" - }, - { - "type": "null" - } - ], - "default": null -} - changed
Output schema / requiredPrevious value: -[ - "capability_id", - "capability_version", - "execution", - "assurance" -]New value: +[ + "operation_id", + "operation_version", + "runtime_ms", + "output" +] - changed
Output schema / titlePrevious value: -"CapabilityResult"New value: +"OperationResult"
2 tool updates
v0.7.3- Changed
math.find21 fields changed- removed
Input schema / $defs / CapabilityModeRemoved value: -{ - "description": "The low-friction exploration and explicit verification lanes.", - "enum": [ - "EXPLORE", - "VERIFY" - ], - "title": "CapabilityMode", - "type": "string" -} - changed
Input schema / properties / cursor / descriptionPrevious 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." - removed
Input schema / properties / modeRemoved value: -{ - "anyOf": [ - { - "$ref": "#/$defs/CapabilityMode" - }, - { - "type": "null" - } - ], - "default": null, - "description": "Optional EXPLORE or VERIFY capability filter." -} - removed
Output schema / $defs / CapabilityDescriptor / properties / modesRemoved value: -{ - "items": { - "$ref": "#/$defs/CapabilityMode" - }, - "title": "Modes", - "type": "array" -} - changed
Output schema / $defs / CapabilityDescriptor / requiredPrevious value: -[ - "capability_id", - "version", - "title", - "description", - "provider", - "modes", - "input_schema", - "output_schema" -]New value: +[ + "capability_id", + "version", + "title", + "description", + "provider", + "input_schema", + "output_schema" +] - changed
Output schema / $defs / CapabilityDiscoveryRemoveFiltersRecoveryPath / properties / change / constPrevious value: -"Remove domain, mode, input_kind, or artifact_type filters."New value: +"Remove domain, input_kind, or artifact_type filters." - changed
Output schema / $defs / CapabilityDiscoveryRemoveFiltersRecoveryPath / properties / change / defaultPrevious value: -"Remove domain, mode, input_kind, or artifact_type filters."New value: +"Remove domain, input_kind, or artifact_type filters." - changed
Output schema / $defs / CapabilityInvocationExample / descriptionPrevious value: -"One operator-authored, schema-valid example for an advertised mode."New value: +"One operator-authored, schema-valid example." - removed
Output schema / $defs / CapabilityInvocationExample / properties / modeRemoved value: -{ - "$ref": "#/$defs/CapabilityMode" -} - changed
Output schema / $defs / CapabilityInvocationExample / requiredPrevious value: -[ - "name", - "description", - "mode", - "input" -]New value: +[ + "name", + "description", + "input" +] - removed
Output schema / $defs / CapabilityModeRemoved value: -{ - "description": "The low-friction exploration and explicit verification lanes.", - "enum": [ - "EXPLORE", - "VERIFY" - ], - "title": "CapabilityMode", - "type": "string" -} - removed
Output schema / $defs / _CapabilityDescriptorProjection / properties / modesRemoved value: -{ - "items": { - "$ref": "#/$defs/CapabilityMode" - }, - "title": "Modes", - "type": "array" -} - changed
Output schema / $defs / _CapabilityDescriptorProjection / requiredPrevious 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" +] - removed
Output schema / $defs / _CapabilityDiscoveryOperationCard / properties / assurance_ceilingRemoved value: -{ - "enum": [ - "COMPUTED", - "VERIFIED" - ], - "title": "Assurance Ceiling", - "type": "string" -} - removed
Output schema / $defs / _CapabilityDiscoveryOperationCard / properties / modesRemoved value: -{ - "items": { - "$ref": "#/$defs/CapabilityMode" - }, - "title": "Modes", - "type": "array" -} - changed
Output schema / $defs / _CapabilityDiscoveryOperationCard / requiredPrevious 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" +] - removed
Output schema / $defs / _CapabilityDiscoveryResult / properties / modeRemoved value: -{ - "anyOf": [ - { - "$ref": "#/$defs/CapabilityMode" - }, - { - "type": "null" - } - ], - "default": null -} - removed
Output schema / $defs / _CapabilityInvocationArguments / properties / modeRemoved value: -{ - "$ref": "#/$defs/CapabilityMode" -} - changed
Output schema / $defs / _CapabilityInvocationArguments / requiredPrevious value: -[ - "capability_id", - "mode", - "payload" -]New value: +[ + "capability_id", + "payload" +] - removed
Output schema / $defs / _DiscoveryInvocationExample / properties / modeRemoved value: -{ - "$ref": "#/$defs/CapabilityMode" -} - changed
Output schema / $defs / _DiscoveryInvocationExample / requiredPrevious value: -[ - "mode", - "payload" -]New value: +[ + "payload" +]
- Changed
math.run5 fields changed- removed
Input schema / $defsRemoved value: -{ - "CapabilityMode": { - "description": "The low-friction exploration and explicit verification lanes.", - "enum": [ - "EXPLORE", - "VERIFY" - ], - "title": "CapabilityMode", - "type": "string" - } -} - removed
Input schema / properties / modeRemoved value: -{ - "$ref": "#/$defs/CapabilityMode", - "default": "EXPLORE" -} - removed
Output schema / $defs / CapabilityModeRemoved value: -{ - "description": "The low-friction exploration and explicit verification lanes.", - "enum": [ - "EXPLORE", - "VERIFY" - ], - "title": "CapabilityMode", - "type": "string" -} - removed
Output schema / properties / modeRemoved value: -{ - "$ref": "#/$defs/CapabilityMode" -} - changed
Output schema / requiredPrevious value: -[ - "capability_id", - "capability_version", - "mode", - "execution", - "assurance" -]New value: +[ + "capability_id", + "capability_version", + "execution", + "assurance" +]
4 tool updates
v0.7.2- Removed
capability.describe - Removed
capability.invoke - Added
math.find - Added
math.run
4 tool updates
v0.7.1- Changed
capability.invoke1 field changed- removed
Input schema / properties / viewRemoved value: -{ - "default": "STANDARD", - "enum": [ - "SUMMARY", - "STANDARD", - "FULL" - ], - "title": "View", - "type": "string" -}
- Removed
workspace.open - Removed
workspace.query - Removed
workspace.write
5 tool updates
v0.7.0- First observed
capability.describe - First observed
capability.invoke - First observed
workspace.open - First observed
workspace.query - First observed
workspace.write
TDQS
A4.8/5.0
Scored 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
Related MCP Connectors
Educational MCP server with 17 math/stats tools, visualizations, and persistent workspace
This MCP server enables users to perform scientific computations regarding linear algebra and vect…
MCP Server for an Agent Task Marketplace
Give AI agents real access without giving up control through Proofable MCP.
Related MCP Servers
- AlicenseAqualityDmaintenanceMCP server that gives small LLMs verified symbolic-math & logic tools.62Apache 2.0
- AlicenseBqualityBmaintenanceMCP 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.4133 PyPI12Apache 2.0
- AlicenseNot gradedqualityCmaintenanceAn 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.MIT