remote-capable server
The server can be hosted and run remotely because it primarily relies on remote services or has no dependency on the local environment.
Integrations
Provides access to version control functionality, as indicated by the .topos directory structure and research materials which are gitignored.
Penrose MCP 服务器
Penrose的模型上下文协议 (MCP) 服务器 - 通过自然语言创建漂亮的数学图表。
概述
该 MCP 服务器提供使用 Penrose 领域特定语言创建数学图表的工具和资源：
- 领域（DSL） ：定义数学类型和关系
- 实质：描述数学对象及其关系
- Style ：指定视觉表现规则
项目结构
.topos/：研究材料和文档（gitignored）penrose-research/：设计文档和规范mcp-examples/：参考 MCP 服务器实现mcp-spec/：官方 MCP 协议文档
发展
使用 justfile 访问文档和参考资料：
Copy
执照
MIT 许可证 - 详情请参阅许可证文件