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.
Integrations
Provides access to version control functionality, as indicated by the .topos directory structure and research materials which are gitignored.
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 especificacionesmcp-examples/: Implementaciones de servidor MCP de referenciamcp-spec/: Documentación oficial del protocolo MCP
Desarrollo
Utilice justfile para acceder a la documentación y materiales de referencia:
Licencia
Licencia MIT: consulte el archivo de LICENCIA para obtener más detalles
You must be authenticated.
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.