ツールの説明は英語です。
lean-skills — ツール情報と履歴
Seven skills, split by what you are actually doing rather than by topic. A "tactics" skill and a "Mathlib" skill both fire on every task, and neither tells the agent what to do next. These fire one at a time.
- 言語
- Python
- ライセンス
- Apache-2.0
- 作成日
- 最終活動
- トピック
- agent-skills
- claude-code
- claude-code-skills
- formal-verification
- lean4
- mathlib
- theorem-proving
インストール git clone https://github.com/matt-w-horn/lean-skills ~/.claude/skills/lean-skills
現在の測定値
1GitHubスター安定
測定済み成長Momentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.
測定履歴
| 日付 | 値 | 指標 |
|---|---|---|
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター | |
| 1 | GitHubスター |
分類
- 分野
- 種類
- エージェントスキル
- 用途
近いツール
これらは同じトピックを宣言しています。類似性は推定していません。共通するトピックのみを示します。