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"
}