# Penrose MCP Server
A Model Context Protocol (MCP) server for [Penrose](https://penrose.cs.cmu.edu/) - Create beautiful mathematical diagrams through natural language.
## Overview
This MCP server provides tools and resources for creating mathematical diagrams using Penrose's domain-specific languages:
- **Domain (DSL)**: Define mathematical types and relationships
- **Substance**: Describe mathematical objects and their relationships
- **Style**: Specify visual representation rules
## Project Structure
- `.topos/`: Research materials and documentation (gitignored)
- `penrose-research/`: Design documents and specifications
- `mcp-examples/`: Reference MCP server implementations
- `mcp-spec/`: Official MCP protocol documentation
## Development
Use the justfile to access documentation and reference materials:
```bash
# List all available commands
just --list
# View the server architecture
just architecture
# Access MCP specifications
just mcp-spec
```
## License
MIT License - See LICENSE file for details