Fix mcp-ctrl name

This commit is contained in:
Filippo Berto 2026-01-21 09:39:33 +01:00
parent 6265f9d4d3
commit 682d80668e
No known key found for this signature in database
GPG key ID: F1D17F9BCEC62FBC

View file

@ -7,7 +7,7 @@
command = "${unstable.mcp-nixos}/bin/mcp-nixos"; command = "${unstable.mcp-nixos}/bin/mcp-nixos";
args = [ "--" ]; args = [ "--" ];
}; };
mcp-ctl = { mcp-ctrl = {
command = "nix"; command = "nix";
args = [ "run" "gitlab:fberto/llm-agent-tests?host=gitlab.cern.ch" ]; args = [ "run" "gitlab:fberto/llm-agent-tests?host=gitlab.cern.ch" ];
}; };