math-logic-mcp — history · Wellknown