Repository navigation

MCP server: design, and step 1 (run_python over local client tokens) - #7

Merged

thinkinginmath merged 3 commits into

mainfrom

docs/mcp-server-design

Sep 22, 2026

Merged

MCP server: design, and step 1 (run_python over local client tokens)#7
thinkinginmath merged 3 commits into
mainfrom
docs/mcp-server-design

Commits on Sep 21, 2026
- Design for an MCP server, so any agent client can reach a learner's lab
  
  thinkinginmath
  and
  claude
  committed
  e8a909b
- An MCP server, so an agent client can run code in a learner's lab
  
  thinkinginmath
  and
  claude
  committed
  7ab350e
- Run ruff format, which CI checks and I had not
  
  thinkinginmath
  and
  claude
  committed
  409efc0