Penrose MCP Server

Qu'est-ce que ce MCP

Ce serveur MCP facilite la création de diagrammes mathématiques à travers les langages spécifiques à un domaine de Penrose (Domain, Substance, Style) en interprétant des entrées en langage naturel.

Comment utiliser ce MCP

Utilisez les commandes fournies dans le justfile pour accéder à la documentation (just mcp-spec), consulter l'architecture (just architecture), ou explorer des exemples d'implémentation dans le répertoire .topos/mcp-examples/.

À quoi ce MCP peut servir

Générer des représentations visuelles mathématiques à partir de descriptions abstraites, particulièrement utile pour les supports éducatifs, les articles de recherche et les projets de visualisation mathématique.