内容
# 研究内核 MCP
研究内核 MCP 是一个耐用、以证据为优先的研究基质，适用于 MCP 客户端。它存储公共研究制品，避免隐藏的推理轨迹。
模型保持创造力。内核保持确定性：
- 持久的 SQLite 状态；
- 仅追加的事件日志；
- 类型化的研究原子和图边；
- 源、制品、基准、证明和反例证据；
- 确定性的 Morph 风格重构模板；
- 失败关闭的 PopperPad 风格声明提升；
- 下一个研究动作的前沿评分；
- MCP 工具、资源和提示。
## 存储
默认情况下，服务器写入：
```text
internal/research_kernel/
```
覆盖：
```bash
RESEARCH_HOME=/绝对路径/研究库
```
制品通过 SHA-256 哈希复制到 `RESEARCH_HOME/artifacts`。文件制品仅接受来自存储库根目录、`RESEARCH_HOME` 或 `RK_ARTIFACT_ALLOWLIST` 中的路径，除非设置了 `RK_ALLOW_OUTSIDE_ARTIFACTS=1`。
每个状态更改操作也会追加到 `RESEARCH_HOME/events.jsonl`，用于重放和外部账本摄入。
## 工具
MCP 公开设计规范中的紧凑工具表面：
- `rk_start`
- `rk_atom_add`
- `rk_link`
- `rk_retrieve`
- `rk_morph`
- `rk_refute`
- `rk_evidence_attach`
- `rk_score`
- `rk_frontier`
- `rk_promote`
- `rk_report`
`rk_promote` 是失败关闭的。声明不能在没有支持证据、反驳尝试、依赖项、来源、矛盾搜索、重放证据（如果需要）和理由的情况下成为 `SUPPORTED`。
`rk_refute` 将 `counterexample` 文本视为规划上下文，除非设置了 `counterexample_is_actual=true`。实际反例会创建 `COUNTEREXAMPLE` 原子，添加 `REFUTES` 边，并标记目标 `REFUTED`。
仅带有摘要的证据可以支持声明，但不满足提升来源。 在提升声明之前，在至少一条证据记录中包含 `source_uri`、`artifact_path` 或 `artifact_text`。
## 资源
- `rk://runs/{run_id}/summary`
- `rk://runs/{run_id}/graph`
- `rk://runs/{run_id}/frontier`
- `rk://atoms/{atom_id}`
- `rk://claims/{claim_id}`
- `rk://artifacts/{artifact_hash}`
- `rk://memory/similar/{query}`
- `rk://memory/contradictions/{claim_id}`
- `rk://reports/latest`
## 提示
- `research.kernel_mode`
- `research.start`
- `research.decompose`
- `research.refute`
- `research.morph`
- `research.evidence_review`
- `research.promote_claim`
- `research.report`
- `research.next_frontier`
## 运行
自测试：
```bash
.venv/bin/python internal/research_kernel_mcp/server.py --self-test
```
标准输入输出 MCP：
```bash
uv run --no-project --with mcp python internal/research_kernel_mcp/server.py
```
可流式 HTTP：
```bash
uv run --no-project --with mcp python internal/research_kernel_mcp/server.py \
--transport streamable-http \
--mount-path /mcp
```
聚焦测试：
```bash
pytest -q tests/internal/test_research_kernel_mcp.py
```
## 边界
- 内核存储研究制品、证据和图状态。
- 隐藏的思维链留在制品存储之外。
- `SUPPORTED` 意味着本地门户已通过。外部发布或生产姿态仍需要相关的重放、审查和发布门户。
- Morph 重构是候选搜索对象，直到单独测试。
## 许可证
研究内核 MCP 在 Apache License, Version 2.0 下获得许可。参见存储库根目录 `LICENSE` 文件。
