Die Werkzeugbeschreibungen sind auf Englisch.
proof-engine — Werkzeugprofil und Verlauf
AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted
- Sprache
- Python
- Lizenz
- MIT
- Erstellt
- Letzte Aktivität
- Themen
- 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
Installieren /plugin marketplace add yaniv-golan/proof-engine
Aktuelle Messung
8GitHub-Sternestabil
gemessenes WachstumMomentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.
Messverlauf
| Datum | Wert | Metrik |
|---|---|---|
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne | |
| 8 | GitHub-Sterne |
Klassifikationen
- Bereiche
- Typ
- Agent-Skills
- Anwendungsfälle
Benachbarte Werkzeuge
Diese Einträge führen dieselben Themen. Es wird keine Ähnlichkeit abgeleitet: genannt werden nur die gemeinsamen Themen.