Penrose MCP 服务器

Penrose 的模型上下文协议 (MCP) 服务器 - 通过自然语言创建美丽的数学图表。

概述

此 MCP 服务器提供了使用 Penrose 的领域特定语言 (DSL) 创建数学图表的工具和资源：

• 领域 (DSL)：定义数学类型和关系
• 物质：描述数学对象及其关系
• 样式：指定视觉表示规则

项目结构

• .topos/：研究材料和文档（被 git 忽略）
  • penrose-research/：设计文档和规范
  • mcp-examples/：参考 MCP 服务器实现
  • mcp-spec/：官方 MCP 协议文档

开发

使用 justfile 访问文档和参考资料：

# 列出所有可用命令
just --list

# 查看服务器架构
just architecture

# 访问 MCP 规范
just mcp-spec

许可证

MIT 许可证 - 详情见 LICENSE 文件 </中文翻译>