penrose-mcp
Penrose MCPサーバーは、自然言語を通じて美しい数学的図を作成するためのモデルコンテキストプロトコル(MCP)サーバーです。ドメイン固有言語を使用して、数学的な型や関係、オブジェクトの記述、視覚的表現ルールを定義します。開発者は、justfileを使用してドキュメントやリファレンスにアクセスできます。
GitHubスター
6
ユーザー評価
未評価
お気に入り
0
閲覧数
13
フォーク
2
イシュー
1
README
Penrose MCP Server
A Model Context Protocol (MCP) server for Penrose - Create beautiful mathematical diagrams through natural language.
Overview
This MCP server provides tools and resources for creating mathematical diagrams using Penrose's domain-specific languages:
- Domain (DSL): Define mathematical types and relationships
- Substance: Describe mathematical objects and their relationships
- Style: Specify visual representation rules
Project Structure
.topos/: Research materials and documentation (gitignored)penrose-research/: Design documents and specificationsmcp-examples/: Reference MCP server implementationsmcp-spec/: Official MCP protocol documentation
Development
Use the justfile to access documentation and reference materials:
# List all available commands
just --list
# View the server architecture
just architecture
# Access MCP specifications
just mcp-spec
License
MIT License - See LICENSE file for details