Skill-as-Pseudocode: refactoring markdown skill libraries into typed pseudocode contracts for LLM agents. - View it on GitHub