Acerca de
La habilidad `prove` permite la demostración formal de teoremas en Lean4, manejando automáticamente la investigación, generación de código y verificación a través de un flujo de trabajo de 5 fases. Permite a los desarrolladores solicitar pruebas en lenguaje natural sin escribir sintaxis de Lean, instalando automáticamente las dependencias y obteniendo los componentes necesarios de mathlib. Esta habilidad es ideal para desarrolladores con inclinación matemática que necesitan pruebas verificadas por máquina con una sobrecarga de configuración mínima.
Instalación rápida
Claude Code
Recomendadonpx skills add scooter-lacroix/Maestro -a claude-code/plugin add https://github.com/scooter-lacroix/Maestrogit clone https://github.com/scooter-lacroix/Maestro.git ~/.claude/skills/proveCopia y pega este comando en Claude Code para instalar esta habilidad
Repositorio GitHub
Frequently asked questions
What is the prove skill?
prove is a Claude Skill by scooter-lacroix. Skills package instructions and resources that Claude loads on demand, so Claude can perform prove-related tasks without extra prompting.
How do I install prove?
Use the install commands on this page: add prove to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.
What category does prove belong to?
prove is in the Testing category, tagged testing.
Is prove free to use?
Yes. prove is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.
Habilidades relacionadas
Esta Skill de Claude ejecuta el benchmark lm-evaluation-harness para evaluar modelos de lenguaje en más de 60 tareas académicas estandarizadas como MMLU y GSM8K. Está diseñada para que los desarrolladores comparen la calidad de los modelos, realicen seguimiento del progreso del entrenamiento o reporten resultados académicos. La herramienta admite varios backends, incluidos modelos de HuggingFace y vLLM.
Esta habilidad proporciona conocimiento integral para implementar Cron Triggers de Cloudflare y programar Workers mediante expresiones cron. Cubre la configuración de tareas periódicas, trabajos de mantenimiento y flujos de trabajo automatizados, manejando problemas comunes como expresiones cron inválidas y inconvenientes de zonas horarias. Los desarrolladores pueden utilizarla para configurar manejadores programados, probar activadores cron e integrar con Workflows y Green Compute.
Esta habilidad de Claude proporciona un kit de herramientas basado en Playwright para probar aplicaciones web locales mediante scripts de Python. Permite verificación de frontend, depuración de interfaz de usuario, captura de pantallas y visualización de registros, mientras gestiona los ciclos de vida del servidor. Úsela para tareas de automatización de navegadores, pero ejecute los scripts directamente en lugar de leer su código fuente para evitar contaminación del contexto.
Esta habilidad ayuda a los desarrolladores a completar el trabajo terminado verificando que las pruebas pasen y luego presentando opciones estructuradas de integración. Guía el flujo de trabajo para fusionar, crear PRs o limpiar ramas después de que se completa la implementación. Úsala cuando tu código esté listo y probado para finalizar sistemáticamente el proceso de desarrollo.