内容
# MATHLIB5 规格 MCP
> **一个暴露 MATHLIB5 VSCP 元架构给 AI 代理的模型上下文协议服务器。**
>
> `Ω ← TRUST ∧ CODE`
**SNAPKITTYWEST** 自主计算星座的一部分。这是 [MATHLIB5](https://github.com/SNAPKITTYWEST/mathlib5) 的自省表面 - 它允许代理通过稳定、机器可读的协议**推理** 10 层验证管道。
---
## 概述
MATHLIB5 规格 MCP 是一个基于 `@modelcontextprotocol/sdk` 的 TypeScript **MCP（模型上下文协议）服务器**。它发布整个 MATHLIB5 VSCP 架构 - 其十层、七个自主代理、安全态势和每层工具 - 作为 MCP **资源** 和 **工具**，以便 AI 代理可以发现系统、查询依赖关系并在无需人工干预的情况下委派工作。
相同的架构定义在三种语言（TypeScript、Janet、Hy）中镜像，以使元规格在代理位于哪个运行时环境中保持规范。
## 它是什么
- 一个单一进程的 **stdio MCP 服务器** (`src/index.ts`)，暴露资源和工具。
- 一个 **类型化的架构定义** (`src/architecture.ts`) - 层、代理、安全配置和层工具的真实来源，具有接口 (`FullArchitecture`、`ArchitectureLayer`、`ArchitectureAgent`、`LayerTool`)。
- 相同规格的 **跨语言镜像**，使用 Lisp 方言：`spec/architecture.hy`（Hy → Python）和 `spec/architecture.janet`。
- 一个 **全面的元数据文档** (`metadata/system-metadata.json`)，包含层依赖图（`produces`/`consumes`）、代理 `accessesLayers`、关键词和 WORM 封印计划 - 设计用于自主代理导航。
## 架构 / 组件
| 路径 | 语言 | 目的 |
|------|----------|---------|
| `src/index.ts` | TypeScript | MCP 服务器：注册资源、工具列表和 `CallTool`/`ReadResource` 处理程序 |
| `src/architecture.ts` | TypeScript | 规范 `ARCHITECTURE`、`AGENT_CAPABILITIES`、`LAYER_TOOLS` 定义 |
| `spec/architecture.hy` | Hy（Lisp→Python） | 镜像规格 + `get-layer-by-id` / `get-agent-capabilities` 帮助程序 |
| `spec/architecture.janet` | Janet | Janet 代理的镜像规格 |
| `metadata/system-metadata.json` | JSON | 完整的依赖关系图、代理层访问映射、WORM 计划 |
| `package.json` | - | `build`（tsc）、`start`、`dev`（ts-node）；依赖 `@modelcontextprotocol/sdk ^0.6.0` |
| `tsconfig.json` | - | TypeScript 编译器配置 |
### 提供的 10 层 VSCP 管道
| # | 层 | 语言 | MCP 工具 |
|---|-------|----------|----------|
| 1 | APL 前端 | Haskell（Megaparsec） | `parse_apl` |
| 2 | S-Expr IR | Haskell（规范） | `generate_sexpr` |
| 3 | Liquid Haskell | Haskell | `refine_types` |
| 4 | Lean 4 HOL | Lean4 | `prove_theorem` |
| 5 | C-- 内核 | C-- | `verify_kernel` |
| 6 | FOL/CodeQL | C99/Datalog | `validate_fol` |
| 7 | ASP/Prolog | Clingo/SWI | `solve_asp` |
| 8 | PRISM/P-NP | Rust | `search_prism` |
| 9 | WORM 链 | Rust | `seal_worm` |
| 10 | Sorry Hunter | Rust | `hunt_sorries` |
### 自主代理
Cipher（验证策略）、Forge（代码生成）、Sentinel（审计和安全）、Vault（内存持久性）、Oracle（分析和脚手架）、Nexus（群集协调）、Solarium（语义知识）。每个都携带一个功能列表和 `accessesLayers` 映射，位于 `metadata/system-metadata.json` 中。
### 资源和工具
**资源 URI** - `urn:mathlib5:architecture`、`:layers`、`:agents`、`:security`、`:metadata`、`:summary`，以及参数化的 `:layer:{id}`、`:agent:{name}`、`:tool:{name}`。
**系统工具** - `get_architecture`、`get_layer`、`list_layers`、`list_agents`、`get_agent_capabilities`、`get_security_config`、`list_tools`。
**代理工具** - `query_solarium`、`coordinate_swarm`、`audit_system`。
> 注意：层工具（`parse_apl`、`prove_theorem`，...）作为 MCP 调度端点；`invokeLayerTool` 目前返回一个结构化占位符，描述生产部署将执行的命令，以针对底层 MATHLIB5 层。
## 它如何适应星座
- **Plasma Gate / Ed25519** - 服务的 `security` 块声明 `Plasma Gate (Ed25519)`、`AES-256-GCM` 加密和 `SHA-256 Merkle` 完整性，与星座信任根匹配。
- **WORM 链 / Bifrost** - 层 9（`seal_worm`）和元数据 `wormChain` 模式（SHA-256、Merkle 链接、6 小时封印间隔）向代理公开防篡改账本；当前状态 `awaiting_worm_seal`，`sovereign: true`。
- **P/NP 群集** - 层 8（PRISM/P-NP）加上 `coordinate_swarm` 允许代理声明、分配和聚合证明搜索工作；MCP 服务器是该群集的发现层。
- **3 证验证** - 通过在 TypeScript、Janet 和 Hy 中发布相同的规格，任何关于架构的声明都可以在信任之前在三个独立的运行时环境中进行交叉检查。
## 构建 / 使用 / 安装
```bash
npm install
npm run build # tsc → dist/
node dist/index.js # 启动 MCP 服务器（stdio）
# 或在开发过程中：
npm run dev # ts-node src/index.ts
```
使用 MCP 客户端注册：
```json
{
"servers": {
"mathlib5-spec": {
"command": "node",
"args": ["path/to/mathlib5-spec-mcp/dist/index.js"],
"env": {}
}
}
}
```
兼容性（按 `metadata/system-metadata.json`）：Janet 1.30+，Hy 0.26+，Node.js 20+，MCP SDK 0.6+。
## 关键文件参考
| 文件 | 为什么重要 |
|------|----------------|
| `src/index.ts` | MCP 服务器入口点和请求路由 |
| `src/architecture.ts` | 规范架构 / 代理 / 工具 |
| `metadata/system-metadata.json` | 自主导航的依赖关系图 + 代理访问映射 |
| `spec/architecture.hy` | 规格的 Hy 镜像（Python 运行时） |
| `spec/architecture.janet` | 规格的 Janet 镜像 |
| `package.json` | 构建/运行脚本和 MCP SDK 依赖项 |
## 许可证
Apache-2.0 - 与 Sovereign Source License 兼容。作者：SNAPKITTYWEST。
