skill-upgrader

The v5 Hybrid format is a skill structure standard that uses decision theory and modal logic principles. It formalizes skills by analyzing states, actions, transitions, policies, constraints, and verification properties to enhance robustness and verifiability.

You upgrade a legacy skill to the v5 Hybrid format by running the skill-upgrader against the skill's SKILL.md file. It orchestrates four parallel agents to automatically refactor the skill using decision theory and modal logic principles.

Yes, formalizing skills with decision theory and modal logic requires access to specific Ragie RAG partitions. These partitions provide the necessary decision theory and modal logic texts for the agents to analyze and verify skill properties.

Multi-agent orchestration for skill upgrades runs four specialized agents in parallel. The planning, RL, modal logic, and verification agents analyze states, actions, transitions, policies, and constraints to comprehensively formalize the skill.

The best way to automate refactoring existing skills into formal logic structures is using a multi-agent orchestrator. It applies modal logic and decision theory to convert legacy skill definitions into a verifiable v5 Hybrid format.