Claude Skills
InicioTutorial💎 Selección Gratuita
💻 Desarrollo⚙️ Backend🎨 Frontend🚀 DevOps⛓️ Web3 y Blockchain🎭 Creativo📄 Documentación📊 Datos e IA💼 Negocios🤖 Automatización🔒 Seguridad
💎 Precios
⌘K
🏠 Inicio📖 Tutorial💎 Selección Gratuita💳 Precios
💻 Desarrollo⚙️ Backend🎨 Frontend🚀 DevOps⛓️ Web3 y Blockchain🎭 Creativo📄 Documentación📊 Datos e IA💼 Negocios🤖 Automatización🔒 Seguridad
CS
Claude Skills Free

Plataforma curada con más de 1500 skills de Claude AI. Descubre, aprende y mejora tu productividad.

Categorías

DesarrolloFrontendBackendDatos e IADocumentaciónDevOpsTodas las Categorías

Recursos

GitHubDocumentaciónReferencia APIClaude AI

Empresa

Sobre NosotrosContactoPreguntas Frecuentes

Legal

Política de PrivacidadTérminos de Servicio

© 2025 Claude Skills Free. Todos los derechos reservados.

Hecho con❤para la comunidad Claude

  1. Inicio
  2. Web3 & Blockchain
  3. Probadora Aptos Move
💻
Gratis
💻Web3 & Blockchain
✓ Verificado

Probadora Aptos Move

Especialista en la verificación formal de Move Prover: lenguaje de especificación (MSL), precondiciones, postcondiciones, invariantes, aborts_if, ensures, requires, modifies, emits, invariantes globales, patrones de esquema, cuantificadores, funciones auxiliares, directivas pragma, estrategias de verificación y depuración de pruebas. Se activa con las palabras clave: move prover, formal verification, spec, invariant, ensures, requires, aborts_if, precondition, postcondition, quantifier, schema, pragma.

raintree-technology

Características Principales

Listo para Usar

Integración rápida en su flujo de trabajo con configuración mínima

Verificado por la Comunidad

Comunidad de código abierto activa con actualizaciones continuas

Completamente Gratis

Licencia MIT/Apache para uso comercial y personal

Extensión Flexible

Personalizable y extensible según sus necesidades

Cómo Usar

1Obtener Archivo Skill

Descargue o copie el archivo de habilidad del repositorio fuente

2Instalar en Claude

Coloque el archivo de habilidad en el directorio de habilidades de Claude (generalmente ~/.claude/skills/)。

3Comenzar a Usar

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

Etiquetas Relacionadas

#authentication#ci-cd#debugging#documentation#git#nodejs#testing

Información Técnica

Autor
raintree-technology
Categoría
Web3 & Blockchain
Tamaño del Archivo
25.77 KB
Repositorio Fuente
raintree-technology__claude-starter
Metadatos
Incluye metadatos YAML
Licencia
MIT

Todas las habilidades provienen de la comunidad de código abierto, preservando los derechos de autor de los autores originales

raintree-technology__claude-starter/.claude/skills/aptos/move-prover/Skill.md

Por Qué Elegir Esta Habilidad

Beneficios probados e impacto medible

90%

Creación Rápida de Hojas de Cálculo

Genere hojas de cálculo complejas en minutos en lugar de horas con formato automatizado.

75%

Reducción de errores manuales

Elimine errores de fórmulas con la validación y los recálculos automáticos potenciados por IA

60%

Tiempo Ahorrado en Análisis

Genera instantáneamente información y visualizaciones a partir de datos brutos sin procesamiento manual

Casos de Uso

Perfecto para estos escenarios

📊

Modelado financiero

Crear modelos financieros complejos con fórmulas automatizadas y formato profesional

📈

Análisis de ventas

Analizar datos de ventas y generar dashboards interactivos con tablas dinámicas y gráficos

📋

Seguimiento de inventario

Mantener hojas de inventario en tiempo real con cálculos de stock automáticos y alertas

📑

Automatización de informes

Transformar datos brutos en informes con formato y con diseños y fórmulas coherentes

Habilidades Relacionadas

Ver Todas las Habilidades
Recomendado según etiquetas y categoría

Fábrica de Agentes

Sistema de generación de agentes de código Claude que crea agentes personalizados y subagentes con frontmatter YAML mejorado, patrones de acceso a herramientas y soporte para integración MCP siguiendo patrones de producción probados

authenticationautomationbackend+9
377k
Development

Pruebas de Aptos Move

Experto en pruebas de contratos inteligentes Move en Aptos, incluyendo pruebas unitarias, pruebas de integración, verificación formal Move Prover, estrategias de depuración y cobertura de pruebas. Se activa con las palabras clave move test, unit test, integration test, move prover, formal verification, debug, coverage, assert, expect

ci-cddebuggingdocumentation+2
272k
Web3 & Blockchain

Desarrollo de AWS CDK

Especialista en AWS Cloud Development Kit (CDK) para construir infraestructura en la nube con TypeScript/Python. Usar cuando se creen pilas CDK, se definan construcciones CDK, se implemente infraestructura como código, o cuando el usuario mencione CDK, CloudFormation, IaC, cdk synth, cdk deploy, o quiera definir infraestructura AWS de forma programática. Cubre la estructura de aplicaciones CDK, patrones de construcción, composición de pilas y flujos de trabajo de implementación.

apici-cddocumentation+6
446k
DevOps

Adaptyv

Plataforma de laboratorio en la nube para pruebas y validación automáticas de proteínas. Utilícelo al diseñar proteínas y necesitar validación experimental que incluya ensayos de unión, pruebas de expresión, mediciones de termostabilidad, ensayos de actividad enzimática o optimización de secuencias de proteínas. También úselo para enviar experimentos a través de API, rastrear el estado de los experimentos, descargar resultados, optimizar secuencias de proteínas para una mejor expresión utilizando herramientas computacionales (NetSolP, SoluProt, SolubleMPNN, ESM) o gestionar flujos de trabajo de diseño de proteínas con validación en laboratorio húmedo.

authenticationdocumentationpython+1
225k
Development
Ver Todas las Habilidades