proof-engine — fiche et historique
Compétence d'agent IA qui crée des preuves formelles et vérifiables de déclarations en calculant ou citant tous les faits sans les affirmer.
Reformulée en français
- Langage
- Python
- Licence
- MIT
- Création
- Dernière activité
- Topics
- agent-skills
- ai-agent
- chatgpt
- citations
- claude
- claude-code-plugin
- cursor
- fact-checking
- formal-verification
- grounding
- hallucination-prevention
- llm
- python
- reproducible-research
- trustworthy-ai
- verification
Installer /plugin marketplace add yaniv-golan/proof-engine
Mesure actuelle
8étoiles GitHubstable
progression mesuréeLe momentum utilise les relevés disponibles des 7 derniers jours : mesuré avec au moins deux relevés comparables, estimé sinon.
Historique des relevés
| Date | Valeur | Métrique |
|---|---|---|
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub | |
| 8 | étoiles GitHub |
Classements
- Domaines
- Type
- Skills pour agents
- Usages
Outils voisins
Ces entrées déclarent les mêmes sujets. Aucune similarité n’est déduite : seuls les sujets communs sont indiqués.