yaniv-golan/proof-engine
AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted
36
/ 100
Emerging
No Package
No Dependents
Maintenance
13 / 25
Adoption
4 / 25
Maturity
9 / 25
Community
10 / 25
Stars
6
Forks
1
Language
Python
License
MIT
Last pushed
Apr 02, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/agents/yaniv-golan/proof-engine"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
killop/anything_about_game
A wonderful list of Game Development resources.
67
mohdibrahimaiml/epi-recorder
The PDF for AI Evidence
63
liyupi/mianshiya
持续维护的企业面试题库网站，帮你拿到满意 offer！⭐️ 2026年最新Java面试题、前端面试题、AI大模型面试题、AI...
61
shipstatic/ship
The simplest way to publish a static site.
60
lintsinghua/claude-code-book
《御舆：解码 Agent Harness》42万字拆解 AI Agent 的Harness骨架与神经 —— Claude Code 架构深度剖析，15 章从对话循环到构建你自己的 Agent...
59