MCP HubMCP Hub
SKILL·8690F3

spectral-random-walker

plurigrid
Actualizado 3 months ago
13 vistas
7
3
7
Ver en GitHub
Otrogeneral

Acerca de

Esta habilidad utiliza caminatas aleatorias en grafos de teoremas para descubrir teoremas relacionados a través de patrones de co-visitación. Integra el análisis del hueco espectral con el modelo de Benjamin Merlin Bumpus para estimar tiempos de mezcla e identificar "vecindarios de comprensión". Úsela para el descubrimiento automatizado de teoremas y el análisis de conexiones dentro de espacios de demostración matemática.

Instalación rápida

Claude Code

Recomendado
Principal
npx skills add plurigrid/asi -a claude-code
Comando PluginAlternativo
/plugin add https://github.com/plurigrid/asi
Git CloneAlternativo
git clone https://github.com/plurigrid/asi.git ~/.claude/skills/spectral-random-walker

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

Repositorio GitHub

plurigrid/asi
Ruta: skills/spectral-random-walker
0
FAQ

Preguntas frecuentes

¿Qué es el Skill spectral-random-walker?

spectral-random-walker es un Skill de Claude creado por plurigrid. Los Skills agrupan instrucciones y recursos que Claude carga cuando los necesita para realizar tareas relacionadas con spectral-random-walker sin indicaciones adicionales.

¿Cómo instalo spectral-random-walker?

Usa los comandos de instalación de esta página: añade spectral-random-walker a Claude Code como plugin o clona su repositorio en tu directorio de skills y reinicia Claude para cargarlo.

¿A qué categoría pertenece spectral-random-walker?

spectral-random-walker pertenece a la categoría Otro.

¿Se puede usar spectral-random-walker gratis?

Sí. spectral-random-walker aparece en AIMCP y se puede instalar gratis.

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
sports-betting-analyzer
Otro

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.

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