PyPI page
Author:
Austin Letson
Summary:
Semantic search over Lean 4 declarations — Mathlib and local corpora — as a CLI, a JSON-RPC sidecar, and a VS Code extension
Latest version:
0.1.3
Required dependencies:
ax-prover
|
datasets
|
httpx
|
jinja2
|
langchain-core
|
langchain-deepseek
|
mistralai
|
omegaconf
|
platformdirs
|
pydantic
|
python-dotenv
|
python-lsp-jsonrpc
|
sqlite-vec
Downloads last day:
3
Downloads last week:
24
Downloads last month:
58
7-day smoothing