Skip to main content
Glama
Sign In
enesjakozh

Penrose MCP Server

by bmorphism
GitHub
JavaScript
MIT License
1
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ファイルを参照

You must be authenticated.

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

Tools

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

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

          Related Resources

          Related MCP Servers

          • Powerpoint MCP Server

            supercurses
            A
            security
            A
            license
            A
            quality
            Creates and manipulates PowerPoint presentations with capabilities for adding various slide types, generating images, and incorporating tables and charts through natural language commands.
            Last updated -
            11
            24
            Python
            MIT License
            • Apple

          • 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 -
            7
            TypeScript

          • 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 -
            8
            Python
            • Linux
            • Apple

          • SCAST MCP Server

            davidkingzyb
            -
            security
            A
            license
            -
            quality
            Converts code into UML diagrams and flowcharts through static analysis, enabling visualization of code structure and explanation of functionality.
            Last updated -
            21
            JavaScript
            MIT License
            • Linux
            • Apple

          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