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.3.3
Required dependencies:
httpx
|
mcp
|
omegaconf
|
platformdirs
|
pydantic
|
python-dotenv
|
python-lsp-jsonrpc
|
sqlite-vec
Optional dependencies:
ax-prover
|
datasets
|
jinja2
|
langchain-core
|
langchain-deepseek
|
langchain-openai
|
mistralai
Downloads last day:
5
Downloads last week:
41
Downloads last month:
268
7-day smoothing