blob: 1d11c39800a94ba270dd4f7417b0751a041ed845 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
{
flake.modules.homeManager.mcp =
{ pkgs, inputs, ... }:
let
ida-pro-mcp = inputs.self.packages.${pkgs.stdenv.hostPlatform.system}.ida-pro-mcp;
pluginRoot = "${ida-pro-mcp}/${pkgs.python313.sitePackages}/ida_pro_mcp";
in
{
home = {
packages = [ ida-pro-mcp ];
file = {
".idapro/plugins/ida_mcp.py".source = "${pluginRoot}/ida_mcp.py";
".idapro/plugins/ida_mcp".source = "${pluginRoot}/ida_mcp";
};
};
programs.mcp = {
enable = true;
servers = {
"ida-pro-mcp" = {
url = "http://127.0.0.1:13337/mcp";
};
};
};
};
}
|