工具说明为英文。
proof-engine — 工具资料与历史
AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted
- 语言
- Python
- 许可证
- MIT
- 创建时间
- 最近活动
- 主题
- 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
安装 /plugin marketplace add yaniv-golan/proof-engine
当前测量
8GitHub 星标稳定
实测增长Momentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.
测量历史
| 日期 | 数值 | 指标 |
|---|---|---|
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 | |
| 8 | GitHub 星标 |
分类
- 领域
- 类型
- 智能体技能
- 用途
相邻工具
这些条目声明了相同的主题。此处不推断相似性，仅列出共同的主题。