self-modifying-lean-proof-agents-verifier-grounded-benchmark-coevolution
Skill derived from arXiv:2607.17352 - Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution
Informations de source
- Dépôt
- hiyenwong/ai_collection
- Dernière activité de la source
- 21 juillet 2026 à 14:26
- Langue détectée de SKILL.md
- anglais
- Étoiles
- 2
- Forks
- 0
Options d'installation
Le prompt qui vérifie d'abord la source est sélectionné par défaut. Vous pouvez passer à une commande directe ou télécharger une copie locale.
Vérifiez les fichiers source
Lisez SKILL.md et les fichiers associés affichés par SkillsMP avant de décider de l'installer.
