API OpenRouter - Acceso unificado a más de 400 modelos de IA a través de una sola API
Integración rápida en su flujo de trabajo con configuración mínima
Comunidad de código abierto activa con actualizaciones continuas
Licencia MIT/Apache para uso comercial y personal
Personalizable y extensible según sus necesidades
Descargue o copie el archivo de habilidad del repositorio fuente
Coloque el archivo de habilidad en el directorio de habilidades de Claude (generalmente ~/.claude/skills/）。
Reinicie Claude o ejecute el comando de recarga para cargar la habilidad
Consejo: Lea la documentación y el código cuidadosamente antes del primer uso para comprender la funcionalidad y los requisitos de permisos
Todas las habilidades provienen de la comunidad de código abierto, preservando los derechos de autor de los autores originales
rawveg__skillsforge-marketplace/openrouter/skill.mdBeneficios probados e impacto medible
Reduzca el tiempo dedicado a las auditorías manuales automatizando la verificación formal.
Detecta errores críticos a tiempo con las rigurosas comprobaciones de prueba de Move Prover.
Acelera el desarrollo con patrones de esquema reutilizables y funciones auxiliares.
Perfecto para estos escenarios
Verificar la corrección y prevenir vulnerabilidades en contratos inteligentes basados en Move.
Identificar y corregir errores de verificación utilizando las técnicas de depuración de Move Prover.
Escribe especificaciones precisas con invariantes, precondiciones y postcondiciones.
Aproveche las directivas pragma y los cuantificadores para mejorar el rendimiento de la verificación.