A
licenseNot graded
qualityD
maintenanceA hot-reload development tool that enables real-time development of MCP (Model Context Protocol) servers by automatically reloading tools as they're modified without requiring manual restarts.
13
11
MIT
Hot Module Reload (HMR) for Python with reactive programming and MCP tools
Docs for hot-module-reload and reactive programming for Python (`hmr` on PyPI)
Agent Replay Debugger MCP — record every agent step + deterministic replay. Step-debugger for
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.