Die Werkzeugbeschreibungen sind auf Englisch.

lean-skills — Werkzeugprofil und Verlauf

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.

Aktiv

Kanonische Quelle ↗

Sprache
Python
Lizenz
Apache-2.0
Erstellt
Letzte Aktivität
Themen
  • agent-skills
  • claude-code
  • claude-code-skills
  • formal-verification
  • lean4
  • mathlib
  • theorem-proving

Installieren git clone https://github.com/matt-w-horn/lean-skills ~/.claude/skills/lean-skills

Aktuelle Messung

1GitHub-Sternestabil
gemessenes Wachstum

Momentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.

Messverlauf

90 Tage · 90 Messungen maximal
DatumWertMetrik
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne
1GitHub-Sterne

Klassifikationen

Bereiche
Typ
Agent-Skills
Anwendungsfälle

Diese Einträge führen dieselben Themen. Es wird keine Ähnlichkeit abgeleitet: genannt werden nur die gemeinsamen Themen.