fermat-mcp MCP Server