Give your agent skills a formal decision model.
What it does
Transforms an existing agent skill into a structured decision model with policies, constraints, and verification.
When to use it
Use when asked to upgrade a skill to v5, formalize it with decision theory, or add MDP structure.
How to use it
Give it an existing skill file; it creates an upgraded skill in the project's session directory.
What you provide
- the skill file to upgrade
- Your files
Uses
RA
Good to know
- starts 4 helper agents
Latest review
What you need · 3
Requires Ragie with LaValle and Sutton & Barto indexed in decision-theory, and Blackburn and Huth & Ryan in modal-logic.
The book-query commands run Python; no version is specified.
The prescribed book-query commands use uv to run the Python query script.
Access · 1
This skill
Ragie
Read
Reads book material from Ragie