Penrose MCP Server

Что это за MCP

Этот сервер MCP упрощает создание математических диаграмм с помощью предметно-ориентированных языков Penrose (Domain, Substance, Style), интерпретируя естественно-языковые входные данные.

Как использовать этот MCP

Используйте команды из файла justfile для доступа к документации (just mcp-spec), просмотра архитектуры (just architecture) или изучения примеров реализации в директории .topos/mcp-examples/.

Для чего можно использовать этот MCP

Генерация визуальных математических представлений из абстрактных описаний, что особенно полезно для учебных материалов, научных статей и проектов по визуализации математики.