A real project · 可核验公开档案

Verifelis

白猫从资料中叼回答案，黑猫检查每一条证据。一个只读、可审计、面向科学PDF与信息检索的TUI Agent。

Verified inquiry loop · 已核验调查回路

Workspace科学PDF、文本与
受限工作目录

White cat只读检索、引用来源
形成初步报告

Black / Calico核对日志与来源
提出必须回应的意见

Report处理审阅意见后
交付可追溯答案

Boundary of action · 行动边界

只把证据叼回来，
不改动现场。

内置工具只允许列目录、读文件、搜索与查看元数据；管线必须是由人预先登记的固定参数模板，模型不能获得任意Shell。所有访问默认限制在工作目录内，越界目录需要逐个获得人类批准，headless模式则自动拒绝。

秘密文件名、SSH密钥、PEM、凭据目录与常见密钥存储会在沙箱层被阻断，目录列表和搜索结果也会过滤它们；符号链接不能绕过这些限制。审阅猫看到实际工具日志，因此可以指出未执行却声称执行、引用不匹配、证据不足或彼此矛盾的陈述。

Observed capabilities · 仓库所载能力

Read only文件读取、目录浏览、grep与stat；没有写入工具，也没有任意Shell入口。

Evidence结论必须追溯到实际获得的工具结果，日志截断会留下明确标记。

Review黑猫抽查可疑主张；三花猫可重新执行白猫的全部操作后再审阅。

Pipelines支持pdftotext等固定argv白名单，也可从本地配置加入OCR或PDF转换器。

Backends仓库包含Ollama、DeepSeek与OpenAI Responses后端，并提供TUI与一次性headless运行。

Quick start · local terminal

$ git clone https://github.com/xinyue-uoft/Verifelis.git
$ cd Verifelis
$ uv sync
$ uv run verifelis .

OpenAI API key 是仓库README所述的已测试路径；ChatGPT计划的OAuth令牌是否被 api.openai.com 接受，可能因账户类型而异。