About Frankenterm
Frankenterm is an MCP server in the Agents category: terminal hypervisor for AI agent swarms: real-time pane capture, state-machine pattern detection, and a JSON API for coordinating fleets of coding agents across WezTerm.
Install
git clone https://github.com/Dicklesworthstone/frankentermThis server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.
Tools (7)
**Explicit-state models (Stateright-style, hand-rolled)**`tx_killswitch_model.rs`, `wire_dedup_model.rs`, `robot_fleet_state_machine.rs`, `robot_family_contract.rs`
Parameters not published.
**Lean**[`docs/proofs/runtime-proof-soundness.lean`](docs/proofs/runtime-proof-soundness.lean)
Parameters not published.
**Loom**`runtime_async` cancel-traces
Parameters not published.
**TLA+**`docs/specs/durable-state-checkpoint.tla`
Parameters not published.
**cargo-deny**`deny.toml`
Parameters not published.
**dylint**custom lints
Parameters not published.
**proptest**workspace-wide
Parameters not published.
Ask AI
Ask AI about Frankenterm
Powered by Claude · Grounded in docs
Security checks
6 checks have not been run yet.