diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/docs/04-PLUGINS.md')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/docs/04-PLUGINS.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debug/risc-v-gsp-rm-vm/docs/04-PLUGINS.md b/debug/risc-v-gsp-rm-vm/docs/04-PLUGINS.md index fa0fe0c..db9ee27 100644 --- a/debug/risc-v-gsp-rm-vm/docs/04-PLUGINS.md +++ b/debug/risc-v-gsp-rm-vm/docs/04-PLUGINS.md @@ -82,9 +82,9 @@ changes behind plugin-level flags and document them in the session metadata (`s.recorder.meta`). **(d) AI/harness integration** — export sessions/reports to external tools, -generate probe specs, score runs. **MCP servers are planned as a plugin** -(`docs/08-ROADMAP.md`), not part of v0.1; do not add MCP dependencies to the -core package before that rung is scheduled. +generate probe specs, score runs. The **MCP server is implemented as a bundled +plugin** (`../plugins/mcp_server.py`, see [20-MCP-SERVER](20-MCP-SERVER.md)): +stdlib-only, read-only by default, no dependency added to the core package. ## 4. Example plugin |