Penrose MCP Server

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