MCP HubMCP Hub
Volver a habilidades

optimization-correctness-verifier

a5c-ai
Actualizado 6 days ago
15 vistas
331
15
331
Ver en GitHub
Otrogeneral

Acerca de

Esta habilidad ayuda a los desarrolladores a verificar optimizaciones del compilador utilizando métodos formales como Alive2 para garantizar la preservación semántica. Te guía en la especificación de optimizaciones, la verificación de equivalencia, el análisis de contraejemplos y el refinamiento de transformaciones. Úsala cuando necesites validar formalmente que las optimizaciones del compilador no introduzcan errores ni cambien el comportamiento del programa.

Instalación rápida

Claude Code

Recomendado
Principal
npx skills add a5c-ai/babysitter -a claude-code
Comando PluginAlternativo
/plugin add https://github.com/a5c-ai/babysitter
Git CloneAlternativo
git clone https://github.com/a5c-ai/babysitter.git ~/.claude/skills/optimization-correctness-verifier

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

Repositorio GitHub

a5c-ai/babysitter
Ruta: plugins/babysitter/skills/babysit/process/specializations/domains/science/computer-science/skills/optimization-correctness-verifier
0
agent-orchestrationagent-skillsagentic-aiagentic-workflowai-automationbabysitter

Habilidades relacionadas

llamaguard

Otro

LlamaGuard es el modelo de Meta de 7-8B parámetros para moderar las entradas y salidas de LLM en seis categorías de seguridad como violencia y discurso de odio. Ofrece una precisión del 94-95% y puede implementarse usando vLLM, Hugging Face o Amazon SageMaker. Utiliza esta skill para integrar fácilmente filtrado de contenido y barreras de seguridad en tus aplicaciones de IA.

Ver habilidad

cost-optimization

Otro

Esta Skill de Claude ayuda a los desarrolladores a optimizar los costes en la nube mediante el ajuste de tamaño de recursos, estrategias de etiquetado y análisis de gastos. Proporciona un marco para reducir los gastos en la nube e implementar una gobernanza de costes en AWS, Azure y GCP. Úsala cuando necesites analizar los costes de infraestructura, ajustar el tamaño de los recursos o cumplir con restricciones presupuestarias.

Ver habilidad

quantizing-models-bitsandbytes

Otro

Esta habilidad cuantiza LLMs a precisión de 8 o 4 bits utilizando bitsandbytes, logrando una reducción de memoria del 50-75% con pérdida mínima de precisión. Es ideal para ejecutar modelos más grandes en memoria GPU limitada o para acelerar la inferencia, admitiendo formatos como INT8, NF4 y FP4. La habilidad se integra con HuggingFace Transformers y permite entrenamiento QLoRA y optimizadores de 8 bits.

Ver habilidad

dispatching-parallel-agents

Otro

Esta Skill de Claude despliega múltiples agentes para investigar y solucionar 3 o más problemas independientes de forma concurrente. Está diseñada para escenarios que involucran fallos no relacionados que pueden resolverse sin estado compartido o dependencias. Su capacidad principal es la resolución paralela de problemas, asignando un agente por cada dominio problemático independiente para maximizar la eficiencia.

Ver habilidad