MCP HubMCP Hub
Вернуться к навыкам

sigma-algebras

scooter-lacroix
Обновлено 3 days ago
3 просмотров
0
Посмотреть на GitHub
Другоеgeneral

О программе

Этот навык предоставляет стратегии для решения задач по сигма-алгебрам в теории меры, такие как проверка аксиом, построение сигма-алгебр и проверка измеримости. Он включает дерево решений для помощи пользователям и может использовать инструменты, например `z3_solve.py`, для формальных доказательств. Используйте его при решении фундаментальных задач теории меры, связанных со свойствами и построениями сигма-алгебр.

Быстрая установка

Claude Code

Рекомендуется
Основной
npx skills add scooter-lacroix/Maestro -a claude-code
Команда плагинаАльтернативный
/plugin add https://github.com/scooter-lacroix/Maestro
Git клонированиеАльтернативный
git clone https://github.com/scooter-lacroix/Maestro.git ~/.claude/skills/sigma-algebras

Скопируйте и вставьте эту команду в Claude Code для установки этого навыка

GitHub репозиторий

scooter-lacroix/Maestro
Путь: maestro/skills/math/math/measure-theory/sigma-algebras
0
agent-orchestrationai-agentsai-agents-automationai-agents-frameworkcode-analysiscode-intelligence

Похожие навыки

llamaguard

Другое

LlamaGuard — это модель от Meta с 7–8 миллиардами параметров для модерации входных и выходных данных больших языковых моделей по шести категориям безопасности, таким как насилие и разжигание ненависти. Она обеспечивает точность 94–95% и может быть развернута с помощью vLLM, Hugging Face или Amazon SageMaker. Используйте этот навык, чтобы легко интегрировать фильтрацию контента и защитные механизмы в ваши ИИ-приложения.

Просмотреть навык

cost-optimization

Другое

Этот навык Claude помогает разработчикам оптимизировать облачные расходы за счет правильного подбора ресурсов, стратегий тегирования и анализа затрат. Он предоставляет framework для сокращения облачных расходов и внедрения управления затратами в AWS, Azure и GCP. Используйте его, когда вам нужно проанализировать расходы на инфраструктуру, оптимизировать ресурсы или уложиться в бюджетные ограничения.

Просмотреть навык

quantizing-models-bitsandbytes

Другое

Этот навык выполняет квантизацию LLM до 8-битной или 4-битной точности с использованием библиотеки bitsandbytes, обеспечивая сокращение использования памяти на 50-75% при минимальной потере точности. Он идеально подходит для запуска больших моделей при ограниченной памяти GPU или для ускорения вывода, поддерживая форматы INT8, NF4 и FP4. Навык интегрируется с HuggingFace Transformers и позволяет использовать обучение QLoRA и 8-битные оптимизаторы.

Просмотреть навык

dispatching-parallel-agents

Другое

Этот навык Claude распределяет нескольких агентов для исследования и устранения трёх и более независимых проблем параллельно. Он предназначен для сценариев с несвязанными сбоями, которые можно устранить без общего состояния или зависимостей. Ключевая возможность — параллельное решение проблем, где за каждую независимую предметную область назначается отдельный агент для максимальной эффективности.

Просмотреть навык