Docs

Docs 是 Oxpecker 库和工程使用方式的参考文档。

Booklet 负责讲学习路径；Docs 负责回答“怎么用 Oxpecker”。

当前入口

• 库接口
• 开发命令

当前边界

Oxpecker 目前是 early-stage Zig-first 显式状态模型检查库。它可以检查用户写出的有限模型和候选状态转移逻辑，但还不是通用 Zig 程序验证器。