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

Complétion de Preuves Lean 4

redact

Complétez des preuves mathématiques dans Lean 4 pour les suites et la convergence, garantissant des résultats sans avertissement et typés.

lean4formal-verificationmathematics

4 déclencheurs