claude-code-aristotle-plugin
スキルGitHub休止中Lean
Aristotle AI plugin for Claude Code - theorem proving and code verification with Lean 4
説明の出典: 元のソース
測定日: 2026/10/20 · 57 観測
分野 & 用途
- 分野
- エージェント・スキル・MCP
- 用途
- エージェントスキル, コードアシスタント
インストール
/plugin marketplace add afhverjuekki/claude-code-aristotle-plugin情報源で確認
互換性と前提条件は公式ドキュメントで確認してください。
https://github.com/afhverjuekki/claude-code-aristotle-plugin分類
- 種別
- ツール
測定履歴
比較可能な測定値をシグナルと単位ごとにまとめています。
スター
11スター · 2026/10/20
0 (0 %)2026/10/14 から
正確な値 · 7 件の測定
| 測定日 | スター | 変化 |
|---|---|---|
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | 0 | |
| 11 | · |