ペンローズMCPサーバー
Penrose用の Model Context Protocol (MCP) サーバー - 自然言語を使用して美しい数学図を作成します。
概要
この MCP サーバーは、ペンローズのドメイン固有言語を使用して数学図を作成するためのツールとリソースを提供します。
ドメイン（DSL） ：数学的な型と関係を定義する
実体：数学的対象とその関係を説明する
スタイル: 視覚的な表現ルールを指定する
Related MCP server: UML-MCP Server
プロジェクト構造
.topos/: 研究資料とドキュメント (gitignored)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ファイルを参照