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
Datos de origen
- Repositorio
- hiyenwong/ai_collection
- Última actividad en el origen
- 21 de julio de 2026 a las 14:26
- Idioma detectado de SKILL.md
- inglés
- Estrellas
- 2
- Forks
- 0
Opciones de instalación
De forma predeterminada está seleccionado el prompt que primero revisa el origen. Puedes cambiar a un comando directo o descargar una copia local.
Revisa los archivos de origen
Lee SKILL.md y los archivos complementarios que muestra SkillsMP antes de decidir si quieres instalarlo.
