Servidor Penrose MCP

Un servidor de Protocolo de Contexto de Modelo (MCP) para Penrose : cree hermosos diagramas matemáticos a través del lenguaje natural.

Descripción general

Este servidor MCP proporciona herramientas y recursos para crear diagramas matemáticos utilizando los lenguajes específicos del dominio de Penrose:

Dominio (DSL) : Definir tipos y relaciones matemáticas
Sustancia : Describir objetos matemáticos y sus relaciones.
Estilo : Especificar reglas de representación visual

Estructura del proyecto

.topos/ : Materiales de investigación y documentación (gitignored)
- penrose-research/ : Documentos de diseño y especificaciones
- mcp-examples/ : Implementaciones de servidor MCP de referencia
- mcp-spec/ : Documentación oficial del protocolo MCP

Desarrollo

Utilice justfile para acceder a la documentación y materiales de referencia:

# List all available commands
just --list

# View the server architecture
just architecture

# Access MCP specifications
just mcp-spec

Licencia

Licencia MIT: consulte el archivo de LICENCIA para obtener más detalles

Deploy Server

HTTP connection URL

security – no known vulnerabilities

license - permissive license

quality - confirmed to work

How are these scores calculated?

Tools

Facilita la creación de diagramas matemáticos utilizando lenguaje natural a través de los lenguajes específicos de dominio de Penrose, permitiendo la definición de tipos matemáticos, relaciones y reglas de representación visual.

Related Resources

Reddit Discussion about this server

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 -
18
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 -
20
MCP Manim Server
Avik-creator
-
security
F
license
-
quality
A server-based tool that enables the generation of mathematical animations from natural language prompts by leveraging Manim.
Last updated -
15
Mermaid Chart MCP
pickstar-2002
A
security
A
license
A
quality
Enables 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 -
1
15
MIT License

View all related MCP servers

Penrose MCP Server