RegexForge

io.github.walkojas-boop由 GitHub 账号 walkojas-boop 发布v1.0.0更新于 Oct 24, 2026

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

已验证Streamable HTTP可网页运行开发者工具

概览

AI 生成的概览

一个远程 MCP 服务器，可根据带标签的示例生成正则表达式，并审计其回溯风险。

可以做什么
RegexForge 不使用大语言模型，而是根据带标签的正例和反例确定性地合成正则表达式。它会给出证明矩阵，展示生成的模式如何分类每个示例，并执行回溯审计以标记可能存在灾难性回溯的模式。它以托管远程端点的方式运行，而非本地软件包。
适用场景
当你有一组应当匹配的字符串和一组不应匹配的字符串，希望据此推导正则而不是手写时，它很有用。也可用于在将某个模式投入生产前检查其回溯问题。
运行要求
需要支持 streamable HTTP 的远程 MCP 客户端，以及对托管端点的网络访问。未声明任何软件包、环境变量、请求头或身份验证。
安装前请注意
该服务由第三方托管，你提交的示例会发送到该端点，因此不要在带标签的示例中包含敏感或生产数据。未声明身份验证，应将该端点视为公开服务，不要用它处理机密模式。

安装

在 SourceWeft 中

  1. 打开 控制台中的 RegexForge，将其添加到工作区。
  2. 为需要使用其工具的对话启用该服务。

Web executable，通过 Streamable HTTP。 远程服务在工作区中配置后即可从网页运行时运行。

交给智能体安装

把这段提示词粘贴到 Claude Code、Codex、Cursor 等智能体，或 SourceWeft 对话中。智能体会读取该服务器的安装指南，先向你展示发布者、端点和登录方式，经你同意后再把它添加到你的客户端。密钥不会写进任何命令。

阅读 https://sourceweft.com/mcp/io.github.walkojas-boop%2Fregexforge/install.md，并按其中说明把这个 MCP 服务器接入我的客户端。修改任何配置之前，先告诉我它的发布者、端点和登录方式，等我确认。不要把 API 密钥写进命令或我会提交的文件；问我密钥应从哪里获取。

查看智能体所依据的安装指南

其他 MCP 客户端

把它添加到你客户端的 mcpServers 配置中。

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

README

该仓库没有 README。

工具

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.

输入参数examples必填description

版本历史

1
  1. v1.0.0最新Sep 16, 2026

评分

已满足适用检查项的 75%

该评分衡量此收录条目的完整程度，依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价，也不表示服务器安全或当前可用：可连通性是带日期的检查结果，评分也不包含安装量或用户评价。

  • 近 30 天内可连通必需25 分
  • 已声明认证方式必需10 分
  • 已列出工具必需15 分
  • 描述必需15 分
  • 图标10 分
  • 文档15 分

    请声明包含 README 的 GitHub 仓库，或在 OAuth 受保护资源元数据中提供 resource_documentation。

  • 许可证10 分

    请在仓库或注册中心条目中声明许可证。