HTTP 405: Leansearch down?

[ryanznie]

Getting HTTP error when calling API using https://github.com/oOo0oOo/lean-lsp-mcp:

"""
MCP Tool: lean-lsp / lean_leansearch
Ran with these arguments:
{
"query": "integer even iff nat even cast",
"max_results": 5
}
Output
Error: HTTP Error 405: Method Not Allowed
"""

API didn't work over the weekend.

[Julian]

It's back up I believe now (so I'd close this I think) -- I think given leansearch server-side is run by a separate group of folks that perhaps posting on the Zulip might be a faster way to make sure the right people see this.