6 tools from the Math & Logic MCP Server, categorised by risk level.
View the Math & Logic policy →check_logic Check a propositional logic formula for satisfiability, tautology, or generate a truth table. compute_derivative Compute the derivative of a mathematical expression with proof steps. 2/5 compute_integral Compute the indefinite integral of a mathematical expression with proof steps. 2/5 simplify_expression Simplify, factor, or expand a mathematical expression with proof steps. 2/5 solve_equation Solve an algebraic equation symbolically and return solutions with proof steps. verify_arithmetic Safely evaluate an arithmetic expression using only whitelisted operators and functions. 2/5 The Math & Logic MCP server exposes 6 tools across 1 categories: Read.
Use Intercept, the open-source MCP proxy. Write YAML rules for each tool — rate limits, argument validation, or deny rules — then run Intercept in front of the Math & Logic server.
Math & Logic tools are categorised as Read (6). Each category has a recommended default policy.
Open source. One binary. Zero dependencies.
npx -y @policylayer/intercept