{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.DennisPrediger/slac-mcp","description":"MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents","repository":{"url":"https://github.com/DennisPrediger/SLAC-MCP","source":"github","subfolder":"npm/slac-mcp"},"version":"1.1.1","packages":[{"registryType":"npm","identifier":"slac-mcp","version":"1.1.1","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-07-18T18:40:28.008828Z","publishedAt":"2026-07-18T18:40:28.008828Z","updatedAt":"2026-07-18T18:40:28.008828Z","isLatest":true}}}],"metadata":{"count":1}}