Skip to main content
Glama

Symbolic Algebra MCP Server

by sdiehl

intro_many

Define and store multiple symbolic variables with specific assumptions efficiently. Ideal for managing complex mathematical variables in symbolic algebra tasks.

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