MCP servers from io.github.jascal
Go from natural language to verified finite state machines — topology bugs caught before code runs.