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 分

    請在儲存庫或註冊中心條目中宣告授權條款。