Symbolic Algebra MCP Server

by sdiehl

intro_many

Define and store multiple symbolic variables with specific assumptions in SymPy. Efficiently create variables with positive and negative attributes like real, positive, or complex using a structured JSON input.

Instructions

Introduces multiple sympy variables with specified assumptions and stores them.

Takes a list of VariableDefinition objects for the 'variables' parameter. Each object in the list specifies: - var_name: The name of the variable (string). - pos_assumptions: A list of positive assumption strings (e.g., ["real", "positive"]). - neg_assumptions: A list of negative assumption strings (e.g., ["complex"]). The JSON payload for the 'variables' argument should be a direct list of these objects, for example: ```json [ { "var_name": "x", "pos_assumptions": ["real", "positive"], "neg_assumptions": ["complex"] }, { "var_name": "y", "pos_assumptions": [], "neg_assumptions": ["commutative"] } ] ``` The assumptions must be consistent, so a real number is not allowed to be non-commutative. Prefer this over intro() for multiple variables because it's more efficient.

Input Schema

NameRequiredDescriptionDefault
variablesYes

Input Schema (JSON Schema)

{ "$defs": { "VariableDefinition": { "properties": { "neg_assumptions": { "default": [], "items": { "type": "string" }, "title": "Neg Assumptions", "type": "array" }, "pos_assumptions": { "default": [], "items": { "type": "string" }, "title": "Pos Assumptions", "type": "array" }, "var_name": { "title": "Var Name", "type": "string" } }, "required": [ "var_name" ], "title": "VariableDefinition", "type": "object" } }, "properties": { "variables": { "items": { "$ref": "#/$defs/VariableDefinition" }, "title": "Variables", "type": "array" } }, "required": [ "variables" ], "title": "intro_manyArguments", "type": "object" }

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/sdiehl/sympy-mcp'

If you have feedback or need assistance with the MCP directory API, please join our Discord server