MCP server exposing a Socratic sidecar (kb_search, chapters, review) to any agent host
Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.
Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"socratic-mcp","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.
Everything here was measured by our prober or read from a registry. Nothing is self-reported.
Attributed to the source that supplied each field. Treated as claims, not facts.
# socratic-mcp 把 Socratic sidecar 包成 **MCP server**:任何支持 MCP 的 agent host(DSH、Claude Desktop、Cursor…)都能直接调用,不需要为每个 host 写插件。 ```bash SOCRATIC_SIDECAR_URL=http://127.0.0.1:8765 python -m socratic_mcp.server ``` ## 工具 | 工具 | 作用 | |---|---| | `kb_search` | 检索;返回 citation 与页图 URL;可带 `book`+`chapter` 收窄到章回 | | `kb_read` | 按 chunk_id 读取 | | `chapter_lookup` | 「卷3」「第7回」或标题片段 → 页码范围与页图;给 `page` 则反查所在章回 | | `review_session` | 复盘一个教学会话 | | `socratic_state` | 读教学状态机 | | `socratic_health` | sidecar 是否可达 + 索引统计 | ## 前置:一个符合契约的数据库 sidecar 读的库不属于本仓库,需按 [`docs/RAG-DB-SCHEMA.md`](https://github.com/Icefox12138/socratic-tutor/blob/main/docs/RAG-DB-SCHEMA.md) 自行构建(或取得)。没有库时服务仍能启动,`/health` 返回 `{"ok": false, "reason": "no_index"}`,工具会得到 `no_index` 而不是崩掉。 ## 配置 | 环境变量 | 默认 | 说明 | |---|---|---| | `SOCRATIC_SIDECAR_URL` | `http://127.0.0.1:8765` | sidecar 地址 | | `SOCRATIC_TOKEN` | 空 | 非空时以 `Authorization: Bearer` 发送 | sidecar 未启动时,工具返回 `{"error":"sidecar_unreachable",...}` 且 `isError: true`,连接不断。 ## 挂到 DSH `~/.dsh/dsh-mcp-plus/servers.json` 加一条: ```json { "mcpServers": { "socratic": { "command": "python", "args": ["-m", "socratic_mcp.server"], "env": { "SOCRATIC_SIDECAR_URL": "http://127.0.0.1:8765" } } } } ``` ## 协议实现范围 `initialize`、`ping`、`tools/list`、`tools/call`,stdio + newline-delimited JSON-RPC 2.0。没有 SDK 依赖(6 条测试,含一次真实 stdio 往返)。
Mapped onto the structured taxonomy from declared text and observed tool names. Confidence shown for derived entries.
Every source is kept verbatim. Field changes are logged as events.