Installation
System wide:
{
environment.systemPackages = with nix-casks.packages.${system}; [
hol-guard # HOL Guard
];
}Home Manager:
{
home.packages = with nix-casks.packages.${system}; [
hol-guard # HOL Guard
];
}Package Definition
{
"pname": "hol-guard",
"version": "3.0.127",
"src": {
"url": "https://hol.org/api/guard/desktop/download?platform=macos&version=3.0.127",
"sha256": "e18c4c3098cd1c0bcadf195ade55932cff5adafda8306b5dcfbb7ddf8659c5c9"
},
"installPhase": [
"mkdir -p \"$out/Applications/HOL Guard.app\" && cp -r \"HOL Guard.app\" \"$out/Applications\""
],
"meta": {
"description": "Local-first runtime firewall for AI coding agents",
"homepage": "https://hol.org/guard"
}
}Version History
3.0.127 (NixCasks v4)
6 October 2026, 00:00 3.0.126 (NixCasks v4)
5 October 2026, 00:00 3.0.122 (NixCasks v4)
4 October 2026, 00:00 3.0.120 (NixCasks v4)
3 October 2026, 00:00 3.0.118 (NixCasks v4)
2 October 2026, 00:00 3.0.108 (NixCasks v4)
25 September 2026, 00:00 3.0.98 (NixCasks v4)
24 September 2026, 00:00