MCP HubMCP Hub
Volver a habilidades

limits-colimits

parcadei
Actualizado 27 days ago
40 vistas
3,101
217
3,101
Ver en GitHub
Otrogeneral

Acerca de

Esta habilidad proporciona estrategias para resolver problemas de límites y colímites en teoría de categorías, ayudando a identificar tipos como productos, ecualizadores y productos fibrados. Guía a los desarrolladores en la verificación de propiedades universales y el cálculo concreto de estas construcciones en Lean 4 utilizando el espacio de nombres `CategoryTheory.Limits`. Úsala cuando trabajes en problemas de teoría de categorías que involucren estas construcciones fundamentales.

Instalación rápida

Claude Code

Recomendado
Principal
npx skills add parcadei/Continuous-Claude-v3 -a claude-code
Comando PluginAlternativo
/plugin add https://github.com/parcadei/Continuous-Claude-v3
Git CloneAlternativo
git clone https://github.com/parcadei/Continuous-Claude-v3.git ~/.claude/skills/limits-colimits

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

Repositorio GitHub

parcadei/Continuous-Claude-v3
Ruta: .claude/skills/math/category-theory/limits-colimits
0
agentsclaude-codeclaude-code-cliclaude-code-hooksclaude-code-mcpclaude-code-skills

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