typed-IR

Open-source compiler that turns a SKILL.md into a typed, runnable agent harness. The page explains the architecture, the compile/run flow, and how it aims to make agent behavior more faithful across small, local, or frontier models.