ツールの説明は英語です。
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スター | |
| 8 | GitHubスター |
分類
- 分野
- 種類
- エージェントスキル
- 用途
近いツール
これらは同じトピックを宣言しています。類似性は推定していません。共通するトピックのみを示します。