"author:shofer-dev" matching MCP servers:

Run provable, .slang-driven multi-agent workflows inside Claude Code. A deterministic executor enforces typed output contracts, tool scoping, and convergence, providing guarantees and auditability.