P
Penrose-mcp 数学图表创建工具
@bmorphism/penrose-mcp
7 Stars
1.9k 次浏览
bmorphism
更新于 2026-08-23
通过 Penrose 的领域特定语言，促进使用自然语言创建数学图表，允许定义数学类型、关系和可视化表示规则。
该服务暂未提供标准配置，请参考 README 手动接入
可用工具 （4 个）
该服务在 MCP 协议中暴露的工具，AI 可按需调用
create_domain 2 个参数 需填 2 项
Create domain-specific language (DSL) definitions
必填参数：name、types
create_substance 3 个参数 需填 3 项
Define mathematical objects and relationships
必填参数：domain、declarations、statements
create_style 2 个参数 需填 2 项
Define visual representation rules
必填参数：canvas、rules
generate_diagram 4 个参数 需填 3 项
Generate diagram from domain/substance/style
必填参数：domain、substance、style
服务介绍
Penrose MCP 服务器
一个用于 Penrose 的模型上下文协议（MCP）服务器 - 通过自然语言创建漂亮的数学图表。
概览
此 MCP 服务器提供了使用 Penrose 的领域特定语言来创建数学图表的工具和资源：
- 领域 (DSL): 定义数学类型和关系
- 实质: 描述数学对象及其关系
- 样式: 指定视觉表示规则
项目结构
.topos/: 研究材料和文档（git忽略）penrose-research/: 设计文档和规范mcp-examples/: 参考 MCP 服务器实现mcp-spec/: 官方 MCP 协议文档
开发
使用 justfile 访问文档和参考材料：
# List all available commands
just --list
# View the server architecture
just architecture
# Access MCP specifications
just mcp-spec
许可证
MIT 许可证 - 详情见 LICENSE 文件
