Loogle API User Agents

Stream: general

[Joachim Breitner]

Loogle provides an /json end point for simple JSON queries. This is used by the lean-lsp-mcp, the official lean extension, and others. Most of these clients use a recognizable User Agent that allows me to keep an eye on how loogle is used, but I see an increase in unrecognized agents:

• python-httpx/0.28.1
• Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Code/1.102.2 Chrome/134.0.6998.205 Electron/35.6.0 Safari/537.36
• Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Code/1.104.0 Chrome/138.0.7204.235 Electron/37.3.1 Safari/537.36

If you have written a tool that uses the json end point and haven’t done so, please make sure it sends a user agent that makes it recognizable and tell me about it.