ReDetox

An MCP server that helps a calling LLM produce regexes that are concise, **correct**, and **performant**. It supplies the formal ground truth the model lacks: it generates adversarial input, measures time-blowup (NFA backtracking) and memory-blowup (RE2 DFA), checks correctness, and returns a structured verdict the model iterates against.

{
  "mcpServers": {
    "redetox": {
      "command": "uvx",
      "args": [
        "redetox"
      ]
    }
  }
}

claude mcp add redetox uvx redetox

{
  "mcpServers": {
    "redetox": {
      "command": "uvx",
      "args": [
        "redetox"
      ]
    }
  }
}