Back to all repositories
YA
proof-engine
by yaniv-golan
AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted
8stars1forks0watchers/subscribers0issues
agent-skillsai-agentchatgptcitationsclaudeclaude-code-plugincursorfact-checkingformal-verificationgroundinghallucination-preventionllmpythonreproducible-researchtrustworthy-aiverification
- Language
- Python
- License
- MIT License
- Size
- 41.9 MB
- Created
- Mar 25, 2026
- Last Updated
- Jul 8, 2026
- Last Pushed
- May 22, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.