slang-workflows
Provable, declarative multi-agent workflows for Claude Code — a non-LLM executor runs typed .slang files with enforced output contracts, static analysis, tool-scoping, provable termination, and auto-generated topology + trace diagrams. Runs inside Claude