Factual package intelligence from PyPI

kimina-ast-server 2.1.3 package intelligence

Kimina Lean Server - FastAPI server for checking Lean 4 code at scale

pip install kimina-ast-server

Current version
2.1.3
Python requirement
>=3.9
License
MIT
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
74.0 KiB
Release history
9 releases with files
Median release cadence
3 days

kimina-ast-server dependencies

PyPI declares 10 unique dependency rules for this release. Environment markers are shown when supplied by the project.

  1. fastapi >=0.115.13
  2. google-cloud-logging >=3.12.1
  3. kimina-ast-client >=0.2.2
  4. loguru >=0.7.3
  5. prisma >=0.15.0
  6. psutil >=7.0.0
  7. pydantic-settings >=2.10.0
  8. python-dotenv >=1.1.0
  9. rich >=14.0.0
  10. uvicorn >=0.34.3

Compatibility and release files

kimina-ast-server publishes 1 wheel and 1 source archive for version 2.1.3. Wheel platform tags: any.

No version-specific Python classifiers are declared.

Release activity and sources

PyPI lists 9 releases with files. The first dated release is ; 9 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .