Compétences d'agent

Packages SKILL.md qui étendent Claude Code, Cursor, Copilot et autres agents IA.

Score de confiance Utilité Recommandé Étoiles Récent

Filtres

Étiquettes

Numina Lean Agent — Boîte à outils pour la preuve de théorèmes

numina-lean-agent

Un assistant de preuve de théorèmes Lean 4 : recherche de lemmas, vérification de preuves, réparation et simplification de preuves, et génération de preuves informelles assistées par LLM.

theorem-provinglean4proof-verification

242

6 déclencheurs