MCP server

RegexForge

io.github.walkojas-boop/regexforge

Checked 26 Oct 2026, 08:29 UTC · Connected to it and listed its tools

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

Website Source

At a glance

Type

MCP server

Publisher

Not verified

Status

Working at last check

Tools

1

Token cost

About 235 tokens per request

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok

Last checked

26 Oct 2026, 08:29 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

claude mcp add --transport http regexforge https://regexforge.jason-12c.workers.dev/mcp

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.regexforge]
url = "https://regexforge.jason-12c.workers.dev/mcp"

Gemini CLI

{"mcpServers":{"regexforge":{"httpUrl":"https://regexforge.jason-12c.workers.dev/mcp"}}}

Cursor

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

VS Code

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

Antigravity

agy mcp add regexforge https://regexforge.jason-12c.workers.dev/mcp

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"regexforge","server_url":"https://regexforge.jason-12c.workers.dev/mcp","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"regexforge","server_url":"https://regexforge.jason-12c.workers.dev/mcp"}

Tools

• regexforge_synth ~235 tokens
  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

Browse

• GitHub tools
• GitHub and code hosting
• Calling other AI models

Related MCP servers

• zerm
  Agent utility belt: memory, locks, webhook inboxes, timers, DNS, email, URL, timezone, cron
• TheProtocol — Sovereign AI Agent Platform
  Sovereign AI agent economy: identity, payments, governance, exchanges. 400+ tools, ?mode=gateway.
• rta — zero-knowledge proof of a threshold
  Prove a hidden value reached a threshold without revealing the value.
• Xrpl Referee
  XRPL escrow for agent-to-agent payments: hire, prove, AI-audit, auto-pay on PASS.
• Clean
  Read-only developer, date, finance, and text utilities. Authless remote MCP server by Clean.tools.
• ProofFetch
  Cited web text extraction for agents: 25 free extractions per key, then 500 for $5.00 via Stripe.
• ideaudit
  The scoring behind an audit allowed to say no. Twenty deterministic tools, offline, no account.
• Agiscorecard Web3 Proof
  Estimate zkML proving and verification costs and latency from supplied measurements; no proofs run.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.walkojas-boop/regexforge.svg)](https://aptlynx.net/servers/io.github.walkojas-boop/regexforge)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents