Skip to main content
Glama
enesjakozh

Penrose MCP Server

by bmorphism
GitHub
JavaScript
MIT License
3
OverviewInspectNewSchemaRelated ServersReviewsScore
Need Help?View Source CodeReport Issue

ペンローズMCPサーバー

Penrose用の Model Context Protocol (MCP) サーバー - 自然言語を使用して美しい数学図を作成します。

概要

この MCP サーバーは、ペンローズのドメイン固有言語を使用して数学図を作成するためのツールとリソースを提供します。

  • ドメイン（DSL） ：数学的な型と関係を定義する
  • 実体：数学的対象とその関係を説明する
  • スタイル: 視覚的な表現ルールを指定する

プロジェクト構造

  • .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ファイルを参照

Install Server
A
security – no known vulnerabilities
A
license - permissive license
A
quality - confirmed to work

How are these scores calculated?

Tools

ペンローズのドメイン固有言語を通じて自然言語を使用した数学図の作成を容易にし、数学的な型、関係、および視覚的表現ルールの定義を可能にします。

  1. 概要
    1. プロジェクト構造
      1. 発達
        1. ライセンス

          Related Resources

          Related MCP Servers

          • Whimsical MCP Server

            BrockReece
            -
            security
            F
            license
            -
            quality
            Enables programmatic creation of Whimsical diagrams from Mermaid markup generated by AI models like Claude through the Model Context Protocol.
            Last updated -
            13
            TypeScript

          • Excalidraw MCP Server

            yctimlin
            A
            security
            A
            license
            A
            quality
            A Model Context Protocol server that enables LLMs to create, modify, and manipulate Excalidraw diagrams through a structured API.
            Last updated -
            11
            57
            174
            JavaScript
            MIT License

          • UML-MCP Server

            Swayingleaves
            -
            security
            F
            license
            -
            quality
            A 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 -
            14
            Python
            • Linux
            • Apple

          • CAD-MCP Server

            daobataotie
            -
            security
            A
            license
            -
            quality
            Enables controlling CAD software (AutoCAD, GstarCAD, ZWCAD) through natural language instructions, allowing users to create and modify drawings without manually operating the CAD interface.
            Last updated -
            126
            Python
            MIT License

          View all related MCP servers

          Appeared in Searches

          New MCP Servers

          MCP directory API

          We provide all the information about MCP servers via our MCP API.

          curl -X GET 'https://glama.ai/api/mcp/v1/servers/bmorphism/penrose-mcp'

          If you have feedback or need assistance with the MCP directory API, please join our Discord server