Math & Logic
Solve complex algebraic equations, simplify expressions, and perform calculus operations effortlessly. Verify the validity of propositional logic formulas to ensure sound reasoning and accuracy. Perf…
Quick Start
# Connect this server (installs CLI if needed)
npx -y smithery mcp add ikra/math-logic
# Browse available tools
npx -y smithery tool list ikra/math-logic
# Get full schema for a tool
npx -y smithery tool get ikra/math-logic solve_equation
# Call a tool
npx -y smithery tool call ikra/math-logic solve_equation '{}'Direct MCP Connection
Endpoint: https://math-logic--ikra.run.tools
Tools (6)
solve_equation— Solve an algebraic equation symbolically and return solutions with proof steps.simplify_expression— Simplify, factor, or expand a mathematical expression with proof steps.compute_derivative— Compute the derivative of a mathematical expression with proof steps.compute_integral— Compute the indefinite integral of a mathematical expression with proof steps.check_logic— Check a propositional logic formula for satisfiability, tautology, or generate a truth table.verify_arithmetic— Safely evaluate an arithmetic expression using only whitelisted operators and functions.
# Get full input/output schema for a tool
npx -y smithery tool get ikra/math-logic