Constant-product AMM on Igra (Kaspa's EVM L2) with a keyless agent API, MCP server, and Python/TypeScript SDKs — the first DEX on Kaspa built for autonomous trading agents