create_substance
Define mathematical objects and relationships by specifying domain, declarations, and statements for creating structured mathematical diagrams in the Penrose MCP Server.
Instructions
Define mathematical objects and relationships
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| declarations | Yes | ||
| domain | Yes | Reference to domain | |
| statements | Yes |
Input Schema (JSON Schema)
{
"properties": {
"declarations": {
"items": {
"properties": {
"objects": {
"items": {
"type": "string"
},
"type": "array"
},
"type": {
"type": "string"
}
},
"required": [
"type",
"objects"
],
"type": "object"
},
"type": "array"
},
"domain": {
"description": "Reference to domain",
"type": "string"
},
"statements": {
"items": {
"properties": {
"args": {
"items": {
"type": "string"
},
"type": "array"
},
"predicate": {
"type": "string"
}
},
"required": [
"predicate",
"args"
],
"type": "object"
},
"type": "array"
}
},
"required": [
"domain",
"declarations",
"statements"
],
"type": "object"
}