Analiza paquetes en lenguaje Move según la Lista de Verificación de Calidad de Código del libro oficial de Move. Usa esta habilidad al revisar código Move, verificar el cumplimiento con la edición Move 2024 o analizar paquetes Move para asegurarme de las mejores prácticas. Se activa automáticamente al trabajar con archivos .move o con manifiestos Move.toml.
EN LO QUE TE CONVIERTES
Perfecto para estos escenarios
Predecir la absorción, distribución, metabolismo y excreción de nuevos candidatos a fármacos
Identificar los posibles efectos tóxicos en las primeras fases del desarrollo de fármacos para reducir los fracasos
Modelar las interacciones moleculares entre compuestos y objetivos biológicos
Comparar el rendimiento del modelo en conjuntos de datos terapéuticos estandarizados
GANANCIA MEDIBLE
Beneficios probados e impacto medible
Acceda a conjuntos de datos preprocesados y reduzca significativamente el tiempo de preparación de datos
Utilizar divisiones de andamiaje para asegurar que los modelos se generalicen a nuevas químicas
Los conjuntos de datos listos para IA minimizan los fallos en los ensayos experimentales en el descubrimiento de fármacos
QUÉ INCLUYE
Archivos, etiquetas y la instalación en tres pasos
Consejo: Lee la documentación y el código antes del primer uso para saber qué hace y qué permisos necesita.
SIGUIENTES GUIONES
Recomendado según etiquetas y categoría
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
Generar y mantener archivos AGENTS.md siguiendo la convención pública agents.md. Usar cuando se cree documentación para flujos de trabajo de agentes AI, guías de incorporación o cuando se estandaricen patrones de interacción de agentes en proyectos.
Especialista en Anthropic Claude API, modelos, ingeniería de prompts, llamadas a funciones, visión y mejores prácticas. Se activa con anthropic, claude, api, prompt, llamadas a funciones, visión, messages api, embeddings
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.