Show HN: An MCP proxy that sends 97% fewer tool-definition tokens per request