MCP HubMCP Hub
SKILL·B3ED01

bidirectional-navigator

plurigrid
Обновлено 1 month ago
14 просмотров
7
3
7
Посмотреть на GitHub
Другоеai

О программе

Этот навык обеспечивает безопасную двунаправленную навигацию между доказательствами и теоремами с ограничением невозврата, реализуя оператор B Фридмана для линейной ресурсно-ориентированной оценки. Он предоставляет графовую индексную структуру, гарантирующую однократное использование доказательств, что делает его идеальным для приложений линейной гомотопической теории типов (LHoTT). Разработчикам следует использовать его при необходимости детерминированной навигации по доказательствам с контролируемым использованием ресурсов в средах автоматического доказательства теорем.

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

Claude Code

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

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

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

plurigrid/asi
Путь: skills/bidirectional-navigator
0
FAQ

Frequently asked questions

What is the bidirectional-navigator skill?

bidirectional-navigator is a Claude Skill by plurigrid. Skills package instructions and resources that Claude loads on demand, so Claude can perform bidirectional-navigator-related tasks without extra prompting.

How do I install bidirectional-navigator?

Use the install commands on this page: add bidirectional-navigator 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 bidirectional-navigator belong to?

bidirectional-navigator is in the Other category, tagged ai.

Is bidirectional-navigator free to use?

Yes. bidirectional-navigator is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.

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

llamaguard
Другое

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

Просмотреть навык
cost-optimization
Другое

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

Просмотреть навык
sports-betting-analyzer
Другое

Этот навык Клода анализирует рынки спортивных ставок, включая форы, тоталы и ставки на игроков, изучая исторические тенденции и ситуационную статистику для выявления валуйных ставок. Он предоставляет структурированный вывод в формате markdown с практическими рекомендациями в образовательных целях. Разработчикам следует использовать его для инструментов анализа спортивных ставок, учитывая, что он предназначен исключительно для развлечения и обучения.

Просмотреть навык
quantizing-models-bitsandbytes
Другое

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

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