Teycir

Assumptions

A SKILL that turns a code diff into an evidence-backed ledger of hidden assumptions, failure modes, and falsification tests.

Butler

Persistent Coordination and Memory Layer for AI Coding Agents powered by langGraph.

SkillsGuard

Static security scanner for AI agent skill packages. Detects malicious SKILL.md files and bundled scripts before they run.