Index / MCP servers / RegexForge

RegexForge MCP server

Connect RegexForge and your agent gets 1 tool, among them regexforge_synth. It answers at https://regexforge.jason-12c.workers.dev/mcp over streamable HTTP, and it listed its tools to an anonymous client, so no sign-in was needed for that. Our probes reached it 6 of 6 times since 11 September 2026; the last check, on 24 October 2026, succeeded.

Status
Answering
Tools
1
Reliability
6 of 6 checks
Response time
159 ms
Transport
streamable HTTP
Last checked
24 October 2026

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

Description as the publisher wrote it.

The 1 tool RegexForge offers

ToolWhat it does
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
Inputs: description, examples

Add RegexForge to your AI client

Every block below points at https://regexforge.jason-12c.workers.dev/mcp. Pick your client and copy.

Claude Code: one command in your terminal
claude mcp add --transport http regexforge https://regexforge.jason-12c.workers.dev/mcp
Claude Desktop: claude_desktop_config.json
{
  "mcpServers": {
    "regexforge": {
      "command": "npx",
      "args": ["-y", "mcp-remote", "https://regexforge.jason-12c.workers.dev/mcp"]
    }
  }
}
Cursor: ~/.cursor/mcp.json, or .cursor/mcp.json in a project
{
  "mcpServers": {
    "regexforge": {
      "url": "https://regexforge.jason-12c.workers.dev/mcp"
    }
  }
}
VS Code and GitHub Copilot: .vscode/mcp.json
{
  "servers": {
    "regexforge": {
      "type": "http",
      "url": "https://regexforge.jason-12c.workers.dev/mcp"
    }
  }
}
Zed: Zed settings.json
{
  "context_servers": {
    "regexforge": {
      "url": "https://regexforge.jason-12c.workers.dev/mcp"
    }
  }
}
Windsurf: ~/.codeium/mcp_config.json
{
  "mcpServers": {
    "regexforge": {
      "serverUrl": "https://regexforge.jason-12c.workers.dev/mcp"
    }
  }
}
JetBrains AI Assistant: Settings, Tools, AI Assistant, MCP, New MCP Server, as JSON
{
  "mcpServers": {
    "regexforge": {
      "url": "https://regexforge.jason-12c.workers.dev/mcp"
    }
  }
}
Continue: .continue/mcpServers/neuronto.yaml
name: RegexForge
version: 0.0.1
schema: v1
mcpServers:
  - name: RegexForge
    type: streamable-http
    url: https://regexforge.jason-12c.workers.dev/mcp
Gemini CLI: ~/.gemini/settings.json
{
  "mcpServers": {
    "regexforge": {
      "httpUrl": "https://regexforge.jason-12c.workers.dev/mcp"
    }
  }
}
Codex CLI: MCP server config
{
  "mcpServers": {
    "regexforge": {
      "type": "http",
      "url": "https://regexforge.jason-12c.workers.dev/mcp"
    }
  }
}
Warp: MCP servers, + Add, paste JSON
{
  "mcpServers": {
    "regexforge": {
      "url": "https://regexforge.jason-12c.workers.dev/mcp"
    }
  }
}
Goose: a one-click extension link
goose://extension?url=https%3A%2F%2Fregexforge.jason-12c.workers.dev%2Fmcp&type=streamable_http&id=regexforge&name=RegexForge

Is RegexForge up right now?

It answered our last check on 24 October 2026 in 159 ms. Over 6 checks since 11 September 2026 it answered 6. Status here comes from Neuronto's own probes, not from the publisher.

MCP servers similar to RegexForge

Questions about RegexForge

How many tools does RegexForge have?

1, as returned by the server's own tools/list on 22 September 2026: regexforge_synth.

Is RegexForge down?

It answered our last check on 24 October 2026 in 159 ms. Over 6 checks since 11 September 2026 it answered 6.

How do I add RegexForge to Cursor?

Put the server under mcpServers in ~/.cursor/mcp.json with the URL https://regexforge.jason-12c.workers.dev/mcp. The exact JSON is above, with the same setup for Claude Code, Claude Desktop, VS Code, Windsurf, Zed, Gemini CLI and the rest.

Does RegexForge need an API key?

It listed its tools to an anonymous client, so reading the tool list needs no key. Individual tools can still ask for credentials in their own inputs.

Where this comes from

Publisher: io.github.walkojas-boop. Endpoint host: regexforge.jason-12c.workers.dev. ARD identifier: urn:air:io.github.walkojas-boop:mcp:regexforge. First indexed 10 September 2026. The tools are exactly what the server returned; nothing on this page is inferred from its name. Ranking in Neuronto search is never for sale.

Is this your server? Get a message the day it stops answering or its tools change: monitoring, 14 days free. Or claim the domain to manage how it is listed.