Применяйте строгое, математически обоснованное построение и проверку программ. Создавайте правильные программы на основе формальных спецификаций до и после, используя аксиоматическую семантику, структурную индукцию, рекурсивное проектирование с ограничивающими функциями, погружение алгоритма и итеративный вывод с инвариантами цикла. Языконезависимый.
Быстро установите AI-навык methodical-programming в вашу среду разработки через командную строку
Источник: vmvarela/skills.
Apply rigorous, mathematically-grounded program construction and verification techniques. Programs are derived from formal specifications rather than written ad-hoc and tested afterwards. This skill is language-agnostic and applies to any programming paradigm.
A program is correct when its actual behavior matches its specification. The weaker the precondition, the more reusable the function. The stronger the postcondition, the more useful the function.
Always prefer derivation. Derive code from the postcondition analysis:
Применяйте строгое, математически обоснованное построение и проверку программ. Создавайте правильные программы на основе формальных спецификаций до и после, используя аксиоматическую семантику, структурную индукцию, рекурсивное проектирование с ограничивающими функциями, погружение алгоритма и итеративный вывод с инвариантами цикла. Языконезависимый. Источник: vmvarela/skills.
Стабильные поля и команды для ссылок в AI/поиске.
npx skills add https://github.com/vmvarela/skills --skill methodical-programmingПрименяйте строгое, математически обоснованное построение и проверку программ. Создавайте правильные программы на основе формальных спецификаций до и после, используя аксиоматическую семантику, структурную индукцию, рекурсивное проектирование с ограничивающими функциями, погружение алгоритма и итеративный вывод с инвариантами цикла. Языконезависимый. Источник: vmvarela/skills.
Откройте терминал или инструмент командной строки (Terminal, iTerm, Windows Terminal и т.д.) Скопируйте и выполните эту команду: npx skills add https://github.com/vmvarela/skills --skill methodical-programming После установки навык будет автоматически настроен в вашей AI-среде разработки и готов к использованию в Claude Code, Cursor или OpenClaw
https://github.com/vmvarela/skills