MCP HubMCP Hub
Volver a habilidades

move-prover

raintree-technology
Actualizado 2 days ago
5 vistas
76
8
76
Ver en GitHub
Pruebasaidesign

Acerca de

Esta habilidad de Claude ayuda a los desarrolladores a verificar formalmente contratos inteligentes de Aptos Move utilizando Move Prover. Asiste en la escritura de especificaciones MSL incluyendo precondiciones, postcondiciones e invariantes, y en la depuración de fallos de verificación. Úsala cuando necesites una prueba matemática de corrección más allá de las pruebas estándar.

Instalación rápida

Claude Code

Recomendado
Principal
npx skills add raintree-technology/claude-starter -a claude-code
Comando PluginAlternativo
/plugin add https://github.com/raintree-technology/claude-starter
Git CloneAlternativo
git clone https://github.com/raintree-technology/claude-starter.git ~/.claude/skills/move-prover

Copia y pega este comando en Claude Code para instalar esta habilidad

Repositorio GitHub

raintree-technology/claude-starter
Ruta: .agents/skills/aptos/move-prover
0
ai-toolsanthropicclaudeclaude-aiclaude-codedeveloper-tools

Habilidades relacionadas

evaluating-llms-harness

Pruebas

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.

Ver habilidad

cloudflare-cron-triggers

Pruebas

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.

Ver habilidad

webapp-testing

Pruebas

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.

Ver habilidad

finishing-a-development-branch

Pruebas

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.

Ver habilidad