proof-engine — tool profile and history
AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted
- Language
- Python
- License
- MIT
- Created
- Last activity
- 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
Install /plugin marketplace add yaniv-golan/proof-engine
Current measurement
8GitHub starsstable
measured growthMomentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.
Reading history
| Date | Value | Metric |
|---|---|---|
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars | |
| 8 | GitHub stars |
Classifications
- Domains
- Type
- Agent skills
- Use cases
Neighbouring tools
These entries declare the same topics. No similarity is inferred: only the shared topics are stated.