工具说明为英文。
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 星标 |
分类
- 领域
- 类型
- 智能体技能
- 用途
相邻工具
这些条目声明了相同的主题。此处不推断相似性，仅列出共同的主题。