walkojas-boop avatar

RegexForge

walkojas-boop/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 regexforge

Run 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/mcp

Run in your terminal. Add --scope user to make it available in every project.

Tools

Verified live · 1 tools

Verified 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...

Parameters* required
descriptionstring
Optional natural-language description, used only for tie-breaking.
examples*array

Sponsors

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

More from walkojas-boop

Related AI & LLM Tools MCP servers

View all
1withvibe avatarWithvibe Voterwithvibe/withvibe-voterVote-gated change control for WithVibe — the agent proposes a change via MCP; team approves first.0stars
23keys avatarWish Gameworld.3keys/wish-gameWish game — every agent wish permanently reshapes a shared world. Free, no key needed.0stars
3xjtlumedia avatarContext First Mcpxjtlumedia/context-first-mcp37-tool MCP server: context health, memory, reasoning, truthfulness & research pipeline.0stars
4xxo47oxx avatarSpa Reader Mcpxxo47oxx/spa-reader-mcpMCP Server that renders JavaScript SPA pages and extracts LLM-ready Markdown content0stars
5api avatarActionGatexyz.actiongate.api/actiongatePre-execution safety layer for autonomous agent wallets via MCP and x402.0stars
6heisto-dev avatarHeistoheisto-dev/heisto-mcpPrompt-injection Guard checks and public AI red-teaming arena data from Heisto on Solana.0stars