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
An Elixir-based MCP (Model Context Protocol) server that provides symbolic mathematics capabilities using SymPy.