kimina
PyPIClient SDK to interact with Kimina Lean server.
Latest v0.1.2 · Jul 25, 202558 downloads · 30d
Downloads
Daily downloads
PyPI · excludes known mirrors
downloads14
Oct 24
Linked repositories
| ## | RepositoryRepository | ConnectionConnection |
|---|---|---|
| 1 | PrimeIntellect-ai/prime-envs | Source package · Manifest |
| 2 | PrimeIntellect-ai/research-environments | Source package · Manifest |
| 3 | project-numina/kimina-lean-server | Registry metadata |
Recent releases
| Version | Published |
|---|---|
| 0.1.2 | Jul 25, 2025 |
| 0.1.1 | Jul 24, 2025 |
| 0.1.0 | Jul 24, 2025 |