SEP-1613：确立 JSON Schema 2020-12 为 MCP 的默认方言

• 状态（Status）: Final
• 类型（Type）: Standards Track
• 创建（Created）: 2025-10-06
• 作者（Author(s)）: Ola Hungerford
• Issue: #1613

​

摘要

​

动机

• 假定不同版本的客户端和服务器之间的校验失败
• 各 SDK 生态之间的实现分歧
• 开发者不得不进行任意版本选择的不确定性

​

规范

​

1. 默认方言

​

2. 显式方言声明

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "type": "object",
  "properties": {
    "name": { "type": "string" }
  }
}

​

3. Schema 校验要求

• schema **必须（MUST）**依据其声明的或默认的方言有效
• inputSchema 字段**不得（MUST NOT）**为 null

• true —— 接受任何输入（最宽松）
• {} —— 等价于 true，接受任何输入
• { "type": "object" } —— 接受任何具有任意属性的对象
• { "type": "object", "additionalProperties": false } —— 只接受空对象 {}

{
  "name": "get_current_time",
  "description": "Returns the current server time",
  "inputSchema": {
    "type": "object",
    "additionalProperties": false
  }
}

​

4. 适用范围

• tools/list 响应：inputSchema 和 outputSchema
• prompts/elicit 请求：requestedSchema
• 未来内嵌 JSON Schema 定义的 MCP 特性

​

5. 实现要求

• 默认生成符合 2020-12 的 schema
• 使用非默认方言时包含显式的 $schema

• 依据声明的或默认的方言校验 schema
• 至少支持 JSON Schema 2020-12

​

理由

​

为何选择 2020-12？

1. 生态一致：Python SDK（通过 Pydantic）和 Go SDK 实现偏好／使用 2020-12
2. 现代特性：更好的校验能力和组合支持
3. 社区偏好：PR #655 讨论中的多位维护者和社区成员主张 2020-12 而非 draft-07
4. 当前标准：截至 2025 年，2020-12 是稳定版本

​

为何允许显式声明？

• 为既有 schema 支持迁移路径
• 在不改变协议的前提下提供灵活性
• 遵循 JSON Schema 最佳实践

​

所考虑的替代方案

• 以 Draft-07 为默认：在社区反馈后被否决；它是能力较弱的旧版本
• 无默认：因不必要地冗长而被否决；增加样板
• 多个同等版本：被否决；造成不可预测性和碎片化

​

向后兼容性

• 没有 $schema 的既有 schema 默认为 2020-12
• 服务器可以在过渡期间添加显式的 $schema
• 基础 schema（type、properties、required）在各版本间通用

• 使用 dependencies 的 schema（→ dependentSchemas + dependentRequired）
• 位置式数组校验（→ prefixItems）

​

参考实现

​

SDK 实现

• 使用 Pydantic 生成 schema
• Pydantic 通过 .model_json_schema() 默认为 2020-12

• 显式的 2020-12 实现已完成
• 由 @samthanawalla 在 PR #655 讨论中确认

• 可能需要更新，但基于其他示例，应有直接或开箱即用的选项来支持这一点。我可以在此添加更多示例，或者我们可以在接受后创建 issue 来跟进这些。

​

安全影响

​

相关工作

​

SEP-1330：征询枚举 Schema 改进

​

SEP-834：完整的 JSON Schema 2020-12 支持

​

开放问题

1. 更新 schema 生成脚本，在生成后打补丁到 2020-12（这是我在当前 PR 中所做的）
2. 切换到支持 2020-12 的其他 schema 生成器
3. 保持原样，因为它实际上并不与规范冲突？