内容
# 担保
让人工智能研究代理负责——给每个结论一个可追溯的论证图。
> 中文文档：[docs/README.zh.md](docs/README.zh.md)
---
## 问题
人工智能编码代理趋同，因为编译器和测试提供客观的失败信号。研究没有等价物——结论存在于自然语言中，没有外部验证器，因此代理例行地声明工作完成，但无法知道缺少什么。
**担保** 填补了这一空白。它为人工智能代理提供了一个持久的论证图，其中每个声明都需要理由和担保，矛盾被记录为反驳而不是删除，并且状态只能在通过逻辑检查（`编译`）后才能推进。结果是可审计、可复制和可验证的研究推理——而不仅仅是听起来合理的推理。
适合：**论文复制、假设验证、多步骤科学推理、研究透明度**。
---
## 使用克劳德代码设置
**1. 克隆和配置**
安装 [Bun](https://bun.com/docs/installation) (>= 1.0.0)，然后：
```bash
git clone https://github.com/yqi96/warranted
cd warranted
# 可选：启用LLM逻辑审查
cp review.json.example review.json
# 编辑review.json并填写apiKey
```
**2. 在市场注册（每台机器一次）**
```bash
claude plugin marketplace add $(pwd)
```
**3. 在项目中安装插件**
```bash
cd your-project
claude plugin install warranted@warranted --scope local
```
启动时，`toulmin-researcher` 成为主要代理，MCP服务器自动启动。
当启用LLM审查时，节点定义在创建时被审查，`compile_arguments` 运行完整的逻辑链审计。
---
## 可视化工具
从 `warranted` 目录：
```bash
bun run viz
```
在浏览器中打开 `http://localhost:3456`。
### 交互
| 操作 | 效果 |
|--------|--------|
| 点击节点 | 选择它（青色光环） |
| 双击节点 | 打开详细信息面板 |
| Shift + 点击 | 添加/删除选择 |
| 拖动（框选模式） | 绘制框选择多个节点 |
| 拖动（平移模式） | 平移画布 |
| 滚动 | 缩放 |
| 点击空白区域 | 清除选择 |
工具栏中的 **⬚ / ✥** 按钮在框选和移动模式之间切换。
### 选择作为上下文
可视化服务器跟踪当前选择。插件运行时，**您发送给克劳德的每个消息都自动包含选定的节点作为上下文** —— 无需描述您指的是哪些节点，只需选择并询问。
---
## 代理
| 代理 | 角色 |
|-------|------|
| `toulmin-researcher` | 主要代理。构建和验证论证图，识别结构空白，推动每个声明朝着有证据支持的结论。 |
| `toulmin-explorer` | 只读。快速查找节点，检查验证状态，探索论证结构而不进行更改。 |
| `toulmin-translator` | 翻译层。将自然语言指令转换为结构化操作，并将它们路由到研究人员或资源管理器。 |
---
## 技能
| 技能 | 触发器 | 角色 |
|-------|---------|------|
| `paper-reproduce` | `/paper-reproduce` | 论文复制工作流。构建独立的论证图，并逐步验证论文声明。 |
| `declare-barrier` | `/declare-barrier` | 正式声明任务阻塞器。在接受阻塞之前，系统检查所有已知的错误阻塞模式。 |
