kalshi-degen-mcp — MCP server · Wellknown