{"mcpName":"station__stem__stem-math-proof","slug":"stem__stem-math-proof","label":"stem-math-proof","description":"Construct a Proof from premises and conclusion.","domainSlug":"stem","pvRelevance":"pv-adjacent","backend":"external","agentMetadata":{"idempotent":null,"read_only":null,"expected_latency_ms":null,"cost_tokens_estimate":null,"pipes_to":null},"inputSchema":{"properties":{"conclusion":{"description":"Conclusion statement","type":"string"},"premises":{"description":"List of premise statements","items":{"type":"string"},"type":"array"},"valid":{"type":"boolean"}},"required":["premises","conclusion","valid"],"type":"object"},"example":null,"taxonomy":{"rank":{"domain":"Substrata","kingdom":"Constructa","phylum":"Configa","class":"station-config","order":"stem","family":"mcp-tool-config"},"characteristics":{"substrate":"config","domain":"pv","lifecycle":"continuous","stateful":false,"persistence":"none","authority":"read","compounding":"producer","io_input":"agent-request","io_output":"tool-response"}},"_links":{"html":"/tools/stem__stem-math-proof","markdown":"/tools/stem__stem-math-proof/raw.md","invoke":"/api/mcp","catalog":"/api/mcp"}}