the-teacher

the-teacher

Enables structured learning with a verified loop: define goals as observable claims, learn through teach-lab-test-gate per claim, and get independently graded by an adversarial examiner to ensure genuine progress.

Category
访问服务器

README

The Teacher

Run learning as a verified loop: interview to build a detailed Target (your goal as observable claims), derive a Path to close the gap, learn through teach → lab → test → gate per claim, get cold-examined by an adversarial verifier, and raise the Target once you match it. A generic engine; ships with a guitar-learning example.

It's a small MCP server + Claude Code skill. The coaching agent teaches; a separate fresh-context examiner subagent grades — so the teacher never certifies itself.

Quickstart

python3 -m venv .venv && .venv/bin/pip install "mcp[cli]" pytest
.venv/bin/pytest            # all green
THE_TEACHER_STORE=./store.local.json .venv/bin/python server.py

See Install below to add it to Claude Code.

Install as a plugin (one step) — recommended

The repo is its own plugin marketplace, so Claude Code can install the server and the skill together. Requires uv on your PATH (it pulls the mcp dependency on the fly — no venv to manage).

/plugin marketplace add outlast85/the-teacher
/plugin install the-teacher@the-teacher

The coaching skill is then available as /the-teacher:teacher.

Install manually

If you'd rather wire it up by hand (or don't use uv):

git clone https://github.com/outlast85/the-teacher.git
cd the-teacher
python3 -m venv .venv && .venv/bin/pip install "mcp[cli]"

# 1) register the MCP server (per-user; the `--` separator is required)
claude mcp add --transport stdio the-teacher -- "$PWD/.venv/bin/python" "$PWD/server.py"

# 2) install the coaching skill
mkdir -p ~/.claude/skills/teacher && cp skills/teacher/SKILL.md ~/.claude/skills/teacher/SKILL.md

There is no global MCP list — registration is per-user and local. Confirm with claude mcp list.

How it works

  1. First run — the coach calls status(), and if no Target is set it interviews you first: it probes your real goal, decomposes it into 2–6 claims with observable pass_criteria, tags each claim needs_lab (runnable/software claims require lab evidence to pass), dispatches a fresh-context subagent to review the drafted Target for specificity, then calls set_target. A detailed Target is required before any teaching begins.
  2. Teach → lab → test → gate per claim — for each module the coach teaches the concept, runs a lab if needs_lab=true (recording evidence with record_progress), asks you to explain the claim cold, dispatches a fresh-context examiner subagent to grade blind, and calls record_verdict. A needs_lab claim with no logged lab evidence is coerced to non-pass by the server even if the examiner says passed. The claim stays in derive_path until it genuinely passes the gate.
  3. Raise the Target — when status().matched is true, the coach congratulates you and offers a harder Target, restarting the loop.

Verifier-independence (the design point)

The examiner is deliberately adversarial (default-to-not-ready, high field standard). What makes the verdict independent of the teacher is context isolation — and that's the only mechanism:

  • The verifier is a fresh-context examiner subagent. The coach asks the learner to explain the module cold, then dispatches a SEPARATE subagent (same model, clean context) whose prompt contains ONLY the claim, the pass criteria, the learner's explanation, and any lab evidence — never the coaching conversation. Because that examiner never saw the context it would otherwise be anchored on, the grade is genuinely decorrelated: real maker/checker, not Reflection. The coach records it via record_verdict(..., verdict_source="fresh-context"). This works for any subject, needs zero config, no second model, and no external service.
  • Discouraged — same-context: inline grading in the same coaching conversation. If ever used, it's recorded as verdict_source="same-context" and status() raises an only_same_context warning when a match is backed solely by it. This is the weak-verifier case; avoid it.

matched in status counts fresh-context verdicts. The server itself never calls any model — all grading is done by the subagent inside your own client.

Resource URIs use the theteacher:// scheme (e.g. theteacher://target, theteacher://path, theteacher://progress).

Privacy

Your Target/Path/progress live in a local JSON store (~/.the-teacher/store.json by default, overridden by THE_TEACHER_STORE) that is gitignored. The repo ships only the generic example. No personal data is ever committed.

推荐服务器

Baidu Map

Baidu Map

百度地图核心API现已全面兼容MCP协议,是国内首家兼容MCP协议的地图服务商。

官方
精选
JavaScript
Playwright MCP Server

Playwright MCP Server

一个模型上下文协议服务器,它使大型语言模型能够通过结构化的可访问性快照与网页进行交互,而无需视觉模型或屏幕截图。

官方
精选
TypeScript
Magic Component Platform (MCP)

Magic Component Platform (MCP)

一个由人工智能驱动的工具,可以从自然语言描述生成现代化的用户界面组件,并与流行的集成开发环境(IDE)集成,从而简化用户界面开发流程。

官方
精选
本地
TypeScript
Audiense Insights MCP Server

Audiense Insights MCP Server

通过模型上下文协议启用与 Audiense Insights 账户的交互,从而促进营销洞察和受众数据的提取和分析,包括人口统计信息、行为和影响者互动。

官方
精选
本地
TypeScript
VeyraX

VeyraX

一个单一的 MCP 工具,连接你所有喜爱的工具:Gmail、日历以及其他 40 多个工具。

官方
精选
本地
graphlit-mcp-server

graphlit-mcp-server

模型上下文协议 (MCP) 服务器实现了 MCP 客户端与 Graphlit 服务之间的集成。 除了网络爬取之外,还可以将任何内容(从 Slack 到 Gmail 再到播客订阅源)导入到 Graphlit 项目中,然后从 MCP 客户端检索相关内容。

官方
精选
TypeScript
Kagi MCP Server

Kagi MCP Server

一个 MCP 服务器,集成了 Kagi 搜索功能和 Claude AI,使 Claude 能够在回答需要最新信息的问题时执行实时网络搜索。

官方
精选
Python
e2b-mcp-server

e2b-mcp-server

使用 MCP 通过 e2b 运行代码。

官方
精选
Neon MCP Server

Neon MCP Server

用于与 Neon 管理 API 和数据库交互的 MCP 服务器

官方
精选
Exa MCP Server

Exa MCP Server

模型上下文协议(MCP)服务器允许像 Claude 这样的 AI 助手使用 Exa AI 搜索 API 进行网络搜索。这种设置允许 AI 模型以安全和受控的方式获取实时的网络信息。

官方
精选