Symbolic Algebra MCP Server

Args: expr_key: The key of the expression (previously introduced) to simplify. Example: # Introduce variables intro("x", [Assumption.REAL], []) intro("y", [Assumption.REAL], []) # Create an expression to simplify: sin(x)^2 + cos(x)^2 expr_key = introduce_expression("sin(x)**2 + cos(x)**2") # Simplify the expression simplified = simplify_expression(expr_key) # Returns 1 Returns: A key for the simplified expression.

{ "properties": { "expr_key": { "title": "Expr Key", "type": "string" } }, "required": [ "expr_key" ], "title": "simplify_expressionArguments", "type": "object" }