Penrose MCP Server

¿Qué es este MCP?

Este servidor MCP facilita la creación de diagramas matemáticos a través de los lenguajes específicos de dominio de Penrose (Domain, Substance, Style) interpretando entradas en lenguaje natural.

Cómo usar este MCP

Utiliza los comandos del archivo justfile proporcionado para acceder a la documentación (just mcp-spec), ver la arquitectura (just architecture) o explorar implementaciones de ejemplo en el directorio .topos/mcp-examples/.

Para qué se puede usar este MCP

Generar representaciones visuales matemáticas a partir de descripciones abstractas, especialmente útil para materiales educativos, artículos de investigación y proyectos de visualización matemática.