diff --git a/openapi.yaml b/openapi.yaml index 69681c3..aec2658 100644 --- a/openapi.yaml +++ b/openapi.yaml @@ -24,7 +24,7 @@ tags: description: Endpoints for retrieving specific declarations by ID. servers: - - url: https://www.leanexplore.com/api/v1 + - url: https://www.leanexplore.com/api/v2 description: Production LeanExplore API Server components: diff --git a/src/lean_explore/config.py b/src/lean_explore/config.py index 5d6f187..7b8049c 100644 --- a/src/lean_explore/config.py +++ b/src/lean_explore/config.py @@ -208,5 +208,5 @@ def create_timestamped_extraction_path() -> pathlib.Path: R2_ASSETS_BASE_URL: str = "https://pub-48b75babc4664808b15520033423c765.r2.dev" """Base URL for Cloudflare R2 asset storage.""" - API_BASE_URL: str = "https://www.leanexplore.com/api/v1" + API_BASE_URL: str = "https://www.leanexplore.com/api/v2" """Base URL for the LeanExplore remote API service."""