Zenodo · battery 数据与软件·· 5 天前AI 评分8
QPU：经 MCP 提供服务的量子处理单元，含 124 条 Lean 定理与 9095 条公式
QPU
模型导读
Tsvetan Rouschev 发布 QPU v1.1.0，一个通过 MCP 提供服务的量子处理单元，读取无需认证、存储写入需 Bearer token。它提供 16 个 MCP 工具、56 个门与 9095 条公式，124 条 Lean 定理在 TypeScript 中重算，并已发布为 npm 包 @uuidna/qpu 或容器。
来源：Zenodo · battery 数据与软件 · zenodo.org