
RegexForge
When you need a regex but don't want to wrestle with backtracking bugs or LLM hallucinations, this server synthesizes patterns from labeled examples using pure symbolic logic. It exposes a single regexforge_synth tool over MCP that takes your match and non-match cases and returns a deterministic regex drawn from a bank of 67 templates. The engine runs zero LLM inference at serve time, instead relying on proof matrices and backtracking audits. You get 50 free credits on signup, then it's $0.002 per synthesis call. Reach for it when you're building validation pipelines, data parsers, or any workflow where you need a provably correct pattern without the trial and error.
- tool
- 1
- transport
- HTTP
- last updated
- Apr 19, 2026
Install
From registry metadata$ npx add-mcp https://regexforge.jason-12c.workers.dev/mcp --name regexforgeRun in your terminal. add-mcp asks which agents to add it to (Claude Code, Codex, Cursor and more). Add -g to install it for every project.
Review the command, arguments and environment values before installing. MCP servers run with your local permissions.
Other ways
Claude Code
$ claude mcp add --transport http regexforge https://regexforge.jason-12c.workers.dev/mcpRun in your terminal. Add --scope user to make it available in every project.
Tools
Verified live · 1 toolsVerified live against the running server on Nov 6, 2026.
regexforge_synthSynthesize a battle-tested regex from labeled examples. Input: optional natural-language description + 20 examples (10 positive, 10 negative, or any mix of ≥4). Output: regex + flags + test matrix proving every example is handled correctly + backtracking-risk analysis. Determi...2 params
Synthesize a battle-tested regex from labeled examples. Input: optional natural-language description + 20 examples (10 positive, 10 negative, or any mix of ≥4). Output: regex + flags + test matrix proving every example is handled correctly + backtracking-risk analysis. Determi...
descriptionstringexamples*arraySponsors
Readme
Details
- Repository
- github.com/walkojas-boop/regexforge
- Website
- regexforge.jason-12c.workers.dev
- Categories
- AI & LLM Tools, Communication & Messaging
- Transport
- HTTP
- Registry
- MCP registry, active
- Tools verified
- Nov 6, 2026