-
securityF
license-
qualityEnables programmatic creation of Whimsical diagrams from Mermaid markup generated by AI models like Claude through the Model Context Protocol.
Last updated -
18
ペンローズMCPサーバー
Penrose用の Model Context Protocol (MCP) サーバー - 自然言語を使用して美しい数学図を作成します。
概要
この MCP サーバーは、ペンローズのドメイン固有言語を使用して数学図を作成するためのツールとリソースを提供します。
- ドメイン（DSL） ：数学的な型と関係を定義する
- 実体：数学的対象とその関係を説明する
- スタイル: 視覚的な表現ルールを指定する
プロジェクト構造
.topos/: 研究資料とドキュメント (gitignored)penrose-research/: 設計文書と仕様mcp-examples/: MCPサーバ実装のリファレンスmcp-spec/: 公式MCPプロトコルドキュメント
発達
ドキュメントや参考資料にアクセスするには、justfile を使用します。
ライセンス
MITライセンス - 詳細はLICENSEファイルを参照
ペンローズのドメイン固有言語を通じて自然言語を使用した数学図の作成を容易にし、数学的な型、関係、および視覚的表現ルールの定義を可能にします。
Related Resources
Related MCP Servers
- -securityFlicense-qualityA tool that generates various UML diagrams through natural language descriptions or PlantUML code, functioning as an MCP server that can integrate with clients like Claude.Last updated -20
- -securityFlicense-qualityA server-based tool that enables the generation of mathematical animations from natural language prompts by leveraging Manim.Last updated -15
- AsecurityAlicenseAqualityEnables AI assistants to generate and render Mermaid diagrams (flowcharts, sequence diagrams, etc.) as PNG/SVG images with local file saving and HTTP access URLs. Supports batch processing and intelligent caching for efficient diagram creation.Last updated -115MIT License