Penrose MCP Server

MIT License

Overview InspectNew Endpoints Schema Related Servers Reviews Score

create_domain

Define domain-specific language (DSL) structures by specifying domain names, types, and predicates for creating mathematical diagrams in the Penrose MCP Server.

Instructions

Create domain-specific language (DSL) definitions

Input Schema

Name	Required	Description	Default
`name`	Yes	Domain name
`types`	Yes

Input Schema (JSON Schema)

{
  "properties": {
    "name": {
      "description": "Domain name",
      "type": "string"
    },
    "types": {
      "items": {
        "properties": {
          "name": {
            "description": "Type name",
            "type": "string"
          },
          "predicates": {
            "items": {
              "properties": {
                "args": {
                  "items": {
                    "type": "string"
                  },
                  "type": "array"
                },
                "name": {
                  "type": "string"
                }
              },
              "required": [
                "name",
                "args"
              ],
              "type": "object"
            },
            "type": "array"
          }
        },
        "required": [
          "name"
        ],
        "type": "object"
      },
      "type": "array"
    }
  },
  "required": [
    "name",
    "types"
  ],
  "type": "object"
}

This server cannot be installed

Other Tools from Penrose MCP Server

Related Tools

create_substance
@bmorphism/penrose-mcp
generate_diagram
@bmorphism/penrose-mcp
mcp__getDsl
@mastergo-design/mastergo-magic-mcp
domain_list
@jason-tan-swe/railway-mcp
ListSchemas
@aliyun/alibabacloud-dataworks-mcp-server
create_style
@bmorphism/penrose-mcp

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/bmorphism/penrose-mcp'

If you have feedback or need assistance with the MCP directory API, please join our Discord server