home/categories/philosophy-ethics/benbrastmckie-nvim-claude-extensions-formal-skills-skill-logic-research-skill-md
philosophy-ethicslifestyle
skill-logic-research
Research mathematical logic tasks using domain context and codebase exploration. Invoke for logic-language research involving modal logic, Kripke semantics, and related mathematical foundations.
maintainer
benbrastmckie
Обновлено 10.04.2026
Звёзды
438
Форки
466
quick start
Installation and usage
Research mathematical logic tasks using domain context and codebase exploration. Invoke for logic-language research involving modal logic, Kripke semantics, and related mathematical foundations.
Установка
$ install --globalskills.sh
Использование
После установки вы можете использовать этот skill, выполнив следующую команду в терминале:
skills use skill-logic-research