MCP HubMCP Hub
SKILL·9004B4

nix-acset-worlding

plurigrid
Обновлено 1 month ago
14 просмотров
7
3
7
Посмотреть на GitHub
Дизайнgeneral

О программе

Этот навык моделирует хранилище пакетов Nix как Attributed C-Set (ACSet) для структурного анализа и управления зависимостями. Разработчики могут использовать его для проверки целостности хранилища, анализа корневых элементов сборки мусора и управления средами Flox с применением категориальной семантики. Он обеспечивает формальную верификацию ограничений хранилища Nix посредством алгебраического моделирования данных.

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

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/nix-acset-worlding

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

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

plurigrid/asi
Путь: skills/nix-acset-worlding
0
FAQ

Frequently asked questions

What is the nix-acset-worlding skill?

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

How do I install nix-acset-worlding?

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

nix-acset-worlding is in the Design category, tagged general.

Is nix-acset-worlding free to use?

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

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

executing-plans
Дизайн

Используйте навык executing-plans, когда у вас есть полный план реализации для выполнения контролируемыми партиями с контрольными точками проверки. Он загружает и критически анализирует план, затем выполняет задачи небольшими партиями (по умолчанию 3 задачи), сообщая о прогрессе между каждой партией для проверки архитектором. Это обеспечивает систематическую реализацию со встроенными контрольными точками проверки качества.

Просмотреть навык
requesting-code-review
Дизайн

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

Просмотреть навык
connect-mcp-server
Дизайн

Этот навык предоставляет разработчикам подробное руководство по подключению серверов MCP к Claude Code с использованием транспортов HTTP, stdio или SSE. Он охватывает установку, конфигурацию, аутентификацию и безопасность для интеграции внешних сервисов, таких как GitHub, Notion и пользовательские API. Используйте его при настройке интеграций MCP, конфигурации внешних инструментов или работе с Model Context Protocol от Claude.

Просмотреть навык
web-cli-teleport
Дизайн

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

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