remote-capable server

The server can be hosted and run remotely because it primarily relies on remote services or has no dependency on the local environment.

Provides access to version control functionality, as indicated by the .topos directory structure and research materials which are gitignored.

ペンローズMCPサーバー

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

概要

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

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

A

security – no known vulnerabilities

A

license - permissive license

A

quality - confirmed to work

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