proc-repl-mcp
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| PROC_MCP_ALLOW | No | Comma-separated allowlist of commands (e.g. python3,r2,sh). Use "*" to allow everything. By default nothing is allowed. | |
| UV_DEFAULT_INDEX | No | Mirror index for uv if PyPI is not reachable (e.g. https://pypi.tuna.tsinghua.edu.cn/simple). | |
| PROC_MCP_ENV_DENY | No | Comma-separated denylist of environment variable overrides from clients. | |
| PROC_MCP_ENV_ALLOW | No | Comma-separated allowlist of environment variable overrides from clients. Blocks PATH, LD_*, DYLD_* by default. | |
| PROC_MCP_TMUX_KEY_DELAY_MS | No | Delay in milliseconds between key submissions for tmux send_keys. Tune if a TUI needs slower timing. |
Instructions
Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.
This server publishes no instructions, or was last inspected before Glama recorded them.
Capabilities
Features and capabilities supported by this server
Protocol revision2025-11-25
| Capability | Details |
|---|---|
| tools | {
"listChanged": false
} |
| prompts | {
"listChanged": false
} |
| resources | {} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| open_sessionB | Spawn a stateful subprocess session (PTY by default). Returns a session id. |
| list_sessionsB | List active sessions. |
| sendC | Send raw input to a session's stdin. |
| readC | Read accumulated output from a session. |
| runB | Convenience: send a command then read until output is idle. |
| close_sessionC | Terminate a session and free resources. |
| tmux_open_sessionB | Start a detached tmux session running a command (useful for full-screen TUI apps like vim/htop). Returns a tmux session id. |
| tmux_list_sessionsA | List active tmux sessions created by this server. |
| tmux_send_keysA | Send key tokens to a tmux session's active pane (supports keys like Enter, Escape, C-c, Up, Down). |
| tmux_stepA | Send keys, wait briefly for redraw, then return a pane snapshot (one roundtrip for TUIs). |
| tmux_capture_paneB | Capture the current pane contents as text. |
| tmux_resizeC | Resize a tmux session window. |
| tmux_close_sessionC | Kill a tmux session created by this server. |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
TDQS
Scored across 13 tools
The tools are clearly split into regular subprocess sessions and tmux sessions, each with distinct lifecycles and the tmux_ prefix clearly marking the latter. However, send/read/run could be confused with tmux_send_keys/tmux_capture_pane/tmux_step if descriptions are not carefully read, so a small amount of ambiguity remains.
Regular session tools mix verb_noun patterns (open_session, close_session) with bare verbs (send, read, run). Tmux tools are consistently prefixed with tmux_ but include both verb_noun (tmux_send_keys) and bare verb (tmux_step) forms. The mixed conventions are readable but not fully consistent.
13 tools is well within the ideal range and appropriate for managing two types of interactive sessions (PTY and tmux). Each tool serves a distinct purpose in the workflow, and none feel redundant or excessive.
The tool set provides full lifecycle coverage for both regular and tmux sessions: open, list, send/read, and close, plus useful conveniences like run, step, capture, and resize. There are no obvious dead ends or missing core operations for interacting with external processes.