RegexForge

io.github.walkojas-boopPublished by GitHub account walkojas-boopv1.0.0Updated Oct 24, 2026

Deterministic regex synthesis from labeled examples. Zero LLM, proof matrix, backtracking audit.

VerifiedStreamable HTTPWeb executableDeveloper Tools

Overview

AI-generated overview

A remote MCP server that builds regular expressions from labeled examples and audits them for backtracking risk.

What you can do
RegexForge synthesizes regular expressions deterministically from labeled positive and negative examples, without using an LLM. It reports a proof matrix showing how the generated pattern classifies each example, and performs a backtracking audit to flag potentially catastrophic patterns. It runs as a hosted remote endpoint rather than a local package.
When to use it
Useful when you have a set of strings that should match and strings that should not, and want a regex derived from them rather than written by hand. Also helpful when you need to check an existing or generated pattern for backtracking problems before putting it into production.
Requirements
A remote MCP client that supports streamable HTTP, plus network access to the hosted endpoint. No packages, environment variables, headers, or authentication are declared.
Before you install
The service is hosted by a third party, so any examples you submit are sent to that endpoint; avoid including sensitive or production data in the labeled examples. No authentication is declared, so treat the endpoint as public and do not rely on it for confidential patterns.

Installation

In SourceWeft

  1. Open RegexForge in the dashboard and add it to a workspace.
  2. Enable the server for the chats that should use its tools.

Web executable via Streamable HTTP. Remote servers run from the web runtime once configured in a workspace.

Use with an agent

Paste this prompt into Claude Code, Codex, Cursor or another agent — or into SourceWeft chat. The agent reads this server's install guide, shows you its publisher, endpoint and sign-in, and adds it to your client once you agree. Keys never go into a command.

Read https://sourceweft.com/mcp/io.github.walkojas-boop%2Fregexforge/install.md and connect the MCP server it describes to my client. Before changing any config, show me its publisher, endpoint and sign-in method and wait for my OK. Never put an API key in a command or in a file I would commit; ask me where it should come from.

Read the install guide the agent follows

Other MCP clients

Add this to your client's mcpServers config.

{
  "mcpServers": {
    "regexforge": {
      "type": "http",
      "url": "https://regexforge.jason-12c.workers.dev/mcp"
    }
  }
}

README

This repository has no README.

Tools

1

regexforge_synth

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. Deterministic; no LLM at serve time.

Parametersexamplesrequireddescription

Version history

1
  1. v1.0.0LatestSep 16, 2026

Score

75% of the applicable checks met

How complete this listing is, computed from the registry entry, the endpoint and public sources. Not a rating of the server and not a statement that it is safe or working today: reachability is a dated check, and no installs or reviews go into the score.

  • Reached in the last 30 daysRequired25 pts
  • Auth declaredRequired10 pts
  • Tools listedRequired15 pts
  • DescriptionRequired15 pts
  • Logo10 pts
  • Documentation15 pts

    Declare a GitHub repository with a README, or serve resource_documentation in the OAuth protected-resource metadata.

  • License10 pts

    Declare a license in the repository or the registry entry.