{"package": "lean-xplore", "summary": "A search engine for Lean 4 declarations.", "pypi_url": "https://pypi.org/project/lean-xplore", "piwheels_url": "https://www.piwheels.org/project/lean-xplore", "releases": {"0.4.3": {"released": "2025-11-29 16:22:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_xplore-0.4.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-xplore/lean_xplore-0.4.3-py3-none-any.whl", "filehash": "8dc7e6968ab03ace0018dbf4fcbadf2f52008f6f485ffa6ead5254ccb9394163", "filesize": 316564, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["faiss-cpu", "fastapi", "filelock", "httpx", "mcp", "nltk", "numpy", "openai-agents", "pydantic", "python-dotenv", "pyyaml", "rank-bm25", "requests", "sentence-transformers", "sqlalchemy", "toml", "tqdm", "typer", "uvicorn"]}}}, "0.4.2": {"released": "2025-11-29 11:19:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_xplore-0.4.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-xplore/lean_xplore-0.4.2-py3-none-any.whl", "filehash": "a5ba084567cb9b4e6cda706f24be2ffe72d17ee3c60400286e728cf671950c25", "filesize": 316449, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["faiss-cpu", "fastapi", "filelock", "httpx", "mcp", "nltk", "numpy", "openai-agents", "pydantic", "python-dotenv", "pyyaml", "rank-bm25", "requests", "sentence-transformers", "sqlalchemy", "toml", "tqdm", "typer", "uvicorn"]}}}, "0.4.1": {"released": "2025-11-28 16:53:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_xplore-0.4.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-xplore/lean_xplore-0.4.1-py3-none-any.whl", "filehash": "6861bd7afd0b35160a6be3bbf7cb8c54d4fe678605221a50e4244e50756dd960", "filesize": 309738, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["faiss-cpu", "fastapi", "filelock", "httpx", "mcp", "nltk", "numpy", "openai-agents", "pydantic", "python-dotenv", "pyyaml", "rank-bm25", "requests", "sentence-transformers", "sqlalchemy", "toml", "tqdm", "typer", "uvicorn"]}}}, "0.4.0": {"released": "2025-11-28 16:14:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_xplore-0.4.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-xplore/lean_xplore-0.4.0-py3-none-any.whl", "filehash": "90508ec99adb79c3f956aed0e8bc440ae967cd9c2240c94e066b1cfa7dc37349", "filesize": 309341, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["faiss-cpu", "fastapi", "filelock", "httpx", "mcp", "nltk", "numpy", "openai-agents", "pydantic", "python-dotenv", "pyyaml", "rank-bm25", "requests", "sentence-transformers", "sqlalchemy", "toml", "tqdm", "typer", "uvicorn"]}}}}}