Stats
Actions
Tags
npx claudepluginhub qdelettre/xspec --plugin xspecCopy this JSON into your .mcp.json to enable this server
Add to your .mcp.json:
{
"mcpServers": {
"quint-kb": {
"command": "docker",
"args": [
"exec",
"-i",
"quint-runtime",
"node",
"/home/dev/mcp-servers/kb/dist/server.js"
]
}
}
}Server configuration and connection parameters
dockerCommand-line arguments passed to the server process
Declared capabilities of this MCP server