copyleftdev/kilocheck

# KiloCheck KiloCheck 是一款本地优先、确定性的 IP 情报 CLI。它旨在将当前的威胁观测结果编译成可审计的本地快照，以便供人类、Agent 和执行系统进行快速检查。 情报引擎负责提供证明。可选的 AI 层最终可能只会解释引擎建立的有限证据。 ## 产品契约 - 常规检查绝不需要网络访问。 - 数据以版本化的发布制品形式从 [`copyleftdev/kilo-data`](https://github.com/copyleftdev/kilo-data) 提供，绝不通过按 IP 的 API 查询来获取。 - JSON 是一种稳定的产品接口，而不是终端文本的渲染。 - 缺失、未知、过期、不完整和操作失败保持各自明确的区分。 - 判定源于类型化观测和独立的证据组——而非可变的信誉评分。 ## 当前里程碑 本代码库确立了可执行文件及其公共契约： ``` kilo capabilities --json kilo status --json kilo check 192.0.2.1 --json kilo 192.0.2.1 --json kilo schema command ``` 当前的 `check` 命令会验证目标，如果未安装已编译的快照，则会显式失败。它不会假装未观测到的地址是安全的。下一个里程碑将添加经验证的 Kilo Data 版本安装以及不可变的内存映射查找索引。 ## 构建 ``` cargo build --workspace --locked cargo test --workspace --locked cargo run -p kilo-cli -- capabilities --json ``` ## 测试契约 快速的单元测试和属性测试在 Linux、macOS 和 Windows 上运行。Linux CI 还会对 `kilo-core` 进行变异分析，并对每个不受信任的输入解析器进行模糊测试。 ``` scripts/test-all.sh scripts/mutate.sh KILO_FUZZ_RUNS=10000 scripts/fuzz-smoke.sh ``` 初始属性涵盖了完整的 IPv4 和 IPv6 地址空间、规范往返、任意目标文本、确定性清单序列化，以及重复的上游证据绝不会增加独立性这一不变性。 有关测试策略，请参阅 [CONTRIBUTING.md](CONTRIBUTING.md)。 ## 退出代码 | 代码 | 含义 | | ---: | --- | | `0` | 命令成功；无策略违规 | | `1` | 操作或完整性错误 | | `2` | 无效调用 | | `3` | 策略门控失败 | | `4` | 数据集过于陈旧 | | `5` | 所需来源结果不完整 | ## 架构 ``` Kilo Data release artifacts ↓ verified snapshot compiler ↓ immutable local index ↓ deterministic evidence engine ↓ human and stable JSON renderers ``` 源/数据管道在 [`kilo-data`](https://github.com/copyleftdev/kilo-data) 中单独维护。KiloCheck 负责本地安装、查询语义、策略和渲染。

标签：Homebrew安装, 可视化界面, 文档结构分析, 通知系统