An Elixir-based MCP (Model Context Protocol) server that provides symbolic mathematics capabilities using SymPy.
Solve complex algebraic equations, simplify expressions, and perform calculus operations effortlessly. Verify the validity of propositional logic formulas to ensure sound reasoning and accuracy. Perfo