PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
oOo0oOo
lean-lsp-mcp

Lean Theorem Prover MCP

53K 371 60
oOo0oOo
leanclient

Python client to interact with the lean4 language server.

46K 44 10
gift-framework
giftpy

GIFT mathematical core - Formally verified constants (Lean 4)

7K 2 0
justincasher
lean-explore

A search engine for Lean 4 declarations

3K 64 13
lean-dojo
lean-dojo

Tool for data extraction and interacting with Lean programmatically.

2K 794 117
SleazyAirplane
watkins-nn

Conservation-law constrained optimization on the golden-ratio simplex

2K 1 0
Axiomatic-AI
ax-prover

A Minimal Agent for Automated Theorem Proving

1K 19 1
lean-dojo
lean-dojo-v2

LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.

1K 77 13
project-numina
kimina-client

Kimina Lean server (+ client SDK)

782 195 33
anqurvanillapy
tinylean

Tiny theorem prover with syntax like Lean 4 in <1K LOC

552 68 2
project-numina
kimina-ast-server

Kimina Lean server (+ client SDK)

449 195 33
mrigankpawagi
simpleafier

Command line tool to help improve the quality of Lean code by converting any "simp" to "simp only".

423 2 0
justincasher
lean-xplore

A search engine for Lean 4 declarations

386 64 13
project-numina
kimina-ast-client

Kimina Lean server (+ client SDK)

290 195 33
MatthewHRockwell
atomik-core

ATOMiK delta-state algebra — O(1) state reconstruction for any processor

274 1 0
awkronos
provably

Proof-carrying Python functions via Z3 — annotate, verify, ship.

262 0 0
EvolvingLMMs-Lab
lean-runner

Deploying High-Performance Lean 4 Server in One Click

172 9 0
project-numina
kimina

Kimina Lean server (+ client SDK)

153 195 33
mmsaki
jumla

Jumla generates Lean 4 verification datasets from Python code and tests.

140 0 0
oOo0oOo
iflow-mcp-ooo0ooo-lean-lsp-mcp

Lean Theorem Prover MCP

96 371 60
ydewit
lean-lldb

an LLDB extension for debugging Lean programs

64 0 0
    • Data from PyPI, GitHub, ClickHouse, and BigQuery