progmune-runtime
Progmune Runtime — Program Immunology: A constraint-guided program synthesis runtime for verifiable AI-generated code
Install / Use
claude mcp add shenlian19831109 -- npx -y github:shenlian19831109/progmune-runtimeIf the server publishes to npm under a different name, use that package instead — check the repo README.
MCP Server
Model Context Protocol server
Quality Score
Category
AI & Machine LearningSupported Platforms
Tags
Related Skills
oracle
385.4kOracle CLI second-model review/debug/refactor/design with selected files, dry-run token checks, API or browser engine.
browser-automation
385.4kUse when controlling web pages with the OpenClaw browser tool, especially multi-step flows, login checks, tab management, or recovery from stale refs/timeouts.
Writing Hookify Rules
140.6kThis skill should be used when the user asks to "create a hookify rule", "write a hook rule", "configure hookify", "add a hookify rule", or needs guidance on hookify rule syntax and patterns.
Hook Development
140.6kThis skill should be used when the user asks to "create a hook", "add a PreToolUse/PostToolUse/Stop hook", "validate tool use", "implement prompt-based hooks", "use ${CLAUDE_PLUGIN_ROOT}", "set up event-driven automation", "block dangerous commands", or mentions hook events (PreToolUse, PostToolUse,…
