Acerca de
Esta habilidad proporciona estrategias de resolución de problemas para espacios de Banach en análisis funcional, ayudando a los desarrolladores a verificar completitud y aplicar teoremas clave como Hahn-Banach y Aplicación Abierta. Ofrece rutas de decisión específicas e incluye integración con el solucionador Z3 para demostrar propiedades como existencia de extensiones y acotación. Úsela cuando trabaje en problemas de análisis funcional que involucren espacios vectoriales normados completos y teoría de operadores.
Instalación rápida
Claude Code
Recomendadonpx skills add majiayu000/claude-skill-registry -a claude-code/plugin add https://github.com/majiayu000/claude-skill-registrygit clone https://github.com/majiayu000/claude-skill-registry.git ~/.claude/skills/banach-spacesCopia y pega este comando en Claude Code para instalar esta habilidad
Repositorio GitHub
Frequently asked questions
What is the banach-spaces skill?
banach-spaces is a Claude Skill by majiayu000. Skills package instructions and resources that Claude loads on demand, so Claude can perform banach-spaces-related tasks without extra prompting.
How do I install banach-spaces?
Use the install commands on this page: add banach-spaces to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.
What category does banach-spaces belong to?
banach-spaces is in the Other category, tagged general.
Is banach-spaces free to use?
Yes. banach-spaces is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.
Habilidades relacionadas
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.
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.
Esta habilidad de Claude analiza los mercados de apuestas deportivas, incluyendo spreads, over/unders y apuestas de propuestas, mediante el examen de tendencias históricas y estadísticas situacionales para identificar apuestas de valor. Proporciona una salida en markdown estructurado con recomendaciones accionables con fines educativos. Los desarrolladores deben utilizar esto para herramientas de análisis de apuestas deportivas, teniendo en cuenta que está diseñado únicamente para entretenimiento/educación.
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.
