Links for math-logic-mcp