# MoonshotAI/Kimina-Prover-Preview

<https://repo.masters-masters.com/repos/MoonshotAI/Kimina-Prover-Preview>

[Accueil](https://repo.masters-masters.com/) › [MoonshotAI](https://repo.masters-masters.com/owners/MoonshotAI) › [Kimina-Prover-Preview](https://repo.masters-masters.com/repos/MoonshotAI/Kimina-Prover-Preview)

MoonshotAI/Kimina-Prover-Preview, dépôt open source à 381 étoiles sur GitHub. Carte Alpha de RepoMasters. Technical report of Kimina-Prover Preview.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [MoonshotAI](https://repo.masters-masters.com/owners/MoonshotAI) |
| Étoiles | 381 |
| Forks | 33 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | Aucune |
| Création | 2025 |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [MoonshotAI/Kimina-Prover-Preview](https://github.com/MoonshotAI/Kimina-Prover-Preview) |

## Fiche du dépôt

Technical report of Kimina-Prover Preview.

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de MoonshotAI

- [MoonshotAI/kimi-cli · ★ 11 421 · Python · Stable](https://repo.masters-masters.com/repos/MoonshotAI/kimi-cli)
- [MoonshotAI/Kimi-K2 · ★ 11 113 · Stable](https://repo.masters-masters.com/repos/MoonshotAI/Kimi-K2)
- [MoonshotAI/Kimi-K3 · ★ 9 040 · Stable](https://repo.masters-masters.com/repos/MoonshotAI/Kimi-K3)
- [MoonshotAI/kimi-code · ★ 8 117 · TypeScript · Stable](https://repo.masters-masters.com/repos/MoonshotAI/kimi-code)
- [MoonshotAI/Kimi-Audio · ★ 4 752 · Python · RC](https://repo.masters-masters.com/repos/MoonshotAI/Kimi-Audio)
- [MoonshotAI/Attention-Residuals · ★ 3 568 · RC](https://repo.masters-masters.com/repos/MoonshotAI/Attention-Residuals)

## D’autres dépôts Python

- [imraywang/rayskills · ★ 381 · Python · Alpha](https://repo.masters-masters.com/repos/imraywang/rayskills)
- [songshikang0111/awesome-REA-cases · ★ 381 · Python · Alpha](https://repo.masters-masters.com/repos/songshikang0111/awesome-REA-cases)
- [CuboiLeo/SuperMimic-Reproduced · ★ 381 · Python · Alpha](https://repo.masters-masters.com/repos/CuboiLeo/SuperMimic-Reproduced)
- [jamesturk/django-honeypot · ★ 381 · Python · Alpha](https://repo.masters-masters.com/repos/jamesturk/django-honeypot)
- [LinkedInAttic/indextank-service · ★ 381 · Python · Alpha](https://repo.masters-masters.com/repos/LinkedInAttic/indextank-service)
- [Sagelt/Dungeon-World · ★ 381 · Python · Alpha](https://repo.masters-masters.com/repos/Sagelt/Dungeon-World)

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