Le descrizioni degli strumenti sono in inglese.
proof-engine — scheda e storico dello strumento
AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted
- Linguaggio
- Python
- Licenza
- MIT
- Creazione
- Ultima attività
- Argomenti
- 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
Installa /plugin marketplace add yaniv-golan/proof-engine
Misurazione attuale
8stelle GitHubstabile
crescita misurataMomentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.
Storico delle rilevazioni
| Data | Valore | Metrica |
|---|---|---|
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub | |
| 8 | stelle GitHub |
Classificazioni
- Ambiti
- Tipo
- Skill per agenti
- Utilizzi
Strumenti vicini
Queste voci dichiarano gli stessi argomenti. Nessuna somiglianza viene dedotta: sono indicati solo gli argomenti in comune.