Repository navigation

devpilot mcp: a local MCP server with repository tools; cli 0.11.0, mcp-session 0.5.0 - #41

Merged

geastham merged 1 commit into

mainfrom

Oct 3, 2026

Merged

devpilot mcp: a local MCP server with repository tools; cli 0.11.0, mcp-session 0.5.0#41
geastham merged 1 commit into
mainfrom
feat/local-mcp

Commits on Oct 3, 2026
- devpilot mcp: one local MCP server for a session, with repository tools; cli 0.11.0
  
  geastham
  and
  claude
  committed
  051a188