MCP servers from io.github.intent-driven-software
Turn an IDF domain into an MCP server with invariants and role scopes in every tool description.
