# project-numina/kimina-lean-server

<https://repo.masters-masters.com/repos/project-numina/kimina-lean-server>

[Accueil](https://repo.masters-masters.com/) › [project-numina](https://repo.masters-masters.com/owners/project-numina) › [kimina-lean-server](https://repo.masters-masters.com/repos/project-numina/kimina-lean-server)

project-numina/kimina-lean-server, dépôt open source à 214 étoiles sur GitHub. Carte Prototype de RepoMasters. Kimina Lean server (+ client SDK)

| Champ | Valeur |
| --- | --- |
| Propriétaire | [project-numina](https://repo.masters-masters.com/owners/project-numina) |
| Étoiles | 214 |
| Forks | 37 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | MIT |
| Création | 2025 |
| Sujets | lean4, repl |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [project-numina/kimina-lean-server](https://github.com/project-numina/kimina-lean-server) |

## Fiche du dépôt

Kimina Lean server (+ client SDK)

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de project-numina

- [project-numina/aimo-progress-prize · ★ 497 · Jupyter Notebook · Alpha](https://repo.masters-masters.com/repos/project-numina/aimo-progress-prize)
- [project-numina/numina-lean-agent · ★ 287 · Python · Alpha](https://repo.masters-masters.com/repos/project-numina/numina-lean-agent)

## D’autres dépôts Python

- [floflo777/open-crypto-puzzles · ★ 214 · Python · Prototype](https://repo.masters-masters.com/repos/floflo777/open-crypto-puzzles)
- [B0yko/tern · ★ 214 · Python · Prototype](https://repo.masters-masters.com/repos/B0yko/tern)
- [facebookresearch/InteractiveWorld · ★ 214 · Python · Prototype](https://repo.masters-masters.com/repos/facebookresearch/InteractiveWorld)
- [cobrateam/flask-mongoalchemy · ★ 214 · Python · Prototype](https://repo.masters-masters.com/repos/cobrateam/flask-mongoalchemy)
- [zachwill/dom · ★ 214 · Python · Prototype](https://repo.masters-masters.com/repos/zachwill/dom)
- [Khan/snippets · ★ 214 · Python · Prototype](https://repo.masters-masters.com/repos/Khan/snippets)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.