LeanType LLM endpoint. Use /v1 with your API key.