Acerca de
Esta habilidad permite realizar demostraciones formales de teoremas usando Lean4 con un flujo de trabajo estructurado en 5 fases, manejando automáticamente la investigación, pruebas y verificación. Permite a los desarrolladores demostrar enunciados matemáticos en lenguaje natural sin necesidad de aprender la sintaxis de Lean, mientras descarga automáticamente las dependencias de Mathlib. La herramienta es ideal para matemáticos y desarrolladores que requieren demostraciones verificadas por máquina con verificación formal rigurosa.
Instalación rápida
Claude Code
Recomendadonpx skills add parcadei/Continuous-Claude-v3 -a claude-code/plugin add https://github.com/parcadei/Continuous-Claude-v3git clone https://github.com/parcadei/Continuous-Claude-v3.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 parcadei. 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.