Desmos MCP Server

Instructions

Implementation Reference

• src/main.py:173-197 (handler)

  The @mcp.tool()-decorated handler function that implements the core logic of 'analyze_formula'. It parses the formula with sympy, computes domain, range (for detailed), or critical points based on analysis_type, and returns formatted results.

  @mcp.tool()
  def analyze_formula(formula: str, analysis_type: AnalysisType = "basic") -> str:
      """Analyzes mathematical properties of a formula (domain, range, critical points)."""
      try:
          x = sympy.symbols('x')
          expr = sympy.sympify(formula)
          results = [f"Analysis for '{formula}' ('{analysis_type}' type):"]
          if analysis_type == "basic" or analysis_type == "detailed":
              domain = continuous_domain(expr, x, sympy.S.Reals)
              results.append(f"- Domain: {domain}")
          if analysis_type == "detailed":
              f_range = function_range(expr, x, domain)
              results.append(f"- Range: {f_range}")
          if analysis_type == "critical_points":
              derivative = sympy.diff(expr, x)
              results.append(f"- Derivative: {derivative}")
              critical_points = sympy.solveset(derivative, x, domain=sympy.S.Reals)
              if not critical_points:
                  results.append("- Critical Points: None found.")
              else:
                  results.append(f"- Critical Points: {critical_points}")
          return "\n".join(results)
      except Exception as e:
          return f"Error analyzing formula '{formula}'. Details: {e}"

• src/main.py:33-33 (schema)

  AnalysisType Literal type definition used for the analysis_type parameter in the tool's input schema, specifying 'basic', 'detailed', or 'critical_points'.

  AnalysisType = Literal["basic", "detailed", "critical_points"]