Nix Flake Analyzer — Nix Flake 分析器

Nix Flake 分析器 分析 Nix flakes 的最佳实践、输入管理、可复现性保证和派生质量。 审计 flake.nix 结构、叠加层、开发 shell、CI 集成和跨平台支持。 在设置或审查基于 Nix 的项目时使用。 用法 "分析我的 Nix flake 以查找问题" "检查我的 flake.nix 以获取最佳实践" "审计 Nix 输入以获取安全性" "优化我的开发 shell" 工作原理

• Flake 发现

cat flake.nix 2>/dev/null cat flake.lock 2>/dev/null | python3 -c " 导入 json, sys d = json.load(sys.stdin) 对于 name, node 在 d.get('nodes', {}).items(): 如果 name == 'root': 继续 locked = node.get('locked', {}) 打印(f'{name}: {locked.get(\"type\",\"?\")} rev={locked.get(\"rev\",\"?\")[:8]} ({locked.get(\"lastModified\",\"?\")})') "

• 输入分析

固定版本：所有输入在 flake.lock 中锁定？ 过时输入：最后更新日期 - 输入超过 90 天被标记 重复 nixpkgs：多个 nixpkgs 输入具有不同版本 不必要的输入：输入被引用但未使用 输入跟随：正确使用跟随以去除重复的 nixpkgs 安全性：已知的 CVE 在固定 nixpkgs 版本中

• 派生质量

包构建可复现（纯评估） 正确使用 mkDerivation 与 buildPythonPackage 等 许可元数据存在 构建输入最小化（无不必要的依赖） 检查阶段运行测试 元属性完成（描述、主页、许可）

• 开发 Shell

devShells.default 定义？ 所有必需的构建工具都包含在内 Shell hook 正确设置环境 direnv 集成（.envrc 存在） 预提交 hook 配置 语言特定的工具（格式化器、linters、LSP 服务器）

• 跨平台支持

支持所有标准系统：x86_64-linux、aarch64-linux、x86_64-darwin、aarch64-darwin 使用 flake-utils 或系统进行多平台支持 平台特定的条件处理正确

• CI 集成

GitHub Actions 工作流与 cachix/install-nix-action Cachix 或 Attic 缓存配置 nix flake check 在 CI 中运行 构建矩阵涵盖目标平台 输出

Nix Flake 分析

输入： 5 | 输出： packages, devShells, checks 系统： x86_64-linux, aarch64-linux（缺少 Darwin）

🔴 问题（2）

• 过时的 nixpkgs - 最后更新 127 天前（rev: a1b2c3d4）→ 运行 nix flake update nixpkgs
• 重复的 nixpkgs - 同时导入 nixpkgs 和 nixpkgs-unstable → 使用 follows 或合并到一个通道

🟡 改进（3）

• 缺少 devShells.default - 没有定义开发 shell
• 没有 .envrc 用于 direnv 集成
• 不支持 Darwin 系统（缺少 aarch64-darwin）

✅ 良好的实践

• 所有输入在 flake.lock 中固定
• 纯评估（无不纯引用）
• 检查阶段运行测试套件
• 为 CI 构建配置 Cachix