Symbolic Algebra MCP Server

Takes a variable name and a list of positive and negative assumptions.

{ "$defs": { "Assumption": { "enum": [ "algebraic", "commutative", "complex", "extended_negative", "extended_nonnegative", "extended_nonpositive", "extended_nonzero", "extended_positive", "extended_real", "finite", "hermitian", "imaginary", "infinite", "integer", "irrational", "negative", "noninteger", "nonnegative", "nonpositive", "nonzero", "positive", "rational", "real", "transcendental", "zero" ], "title": "Assumption", "type": "string" } }, "properties": { "neg_assumptions": { "items": { "$ref": "#/$defs/Assumption" }, "title": "Neg Assumptions", "type": "array" }, "pos_assumptions": { "items": { "$ref": "#/$defs/Assumption" }, "title": "Pos Assumptions", "type": "array" }, "var_name": { "title": "Var Name", "type": "string" } }, "required": [ "var_name", "pos_assumptions", "neg_assumptions" ], "title": "introArguments", "type": "object" }