io.github.walkojas-boop/regexforge
repo:https://github.com/walkojas-boop/regexforge
Deterministic regex synthesis from labeled examples. Zero LLM, proof matrix, backtracking audit.
- transport:
- remote
- credential class:
- self-provisionable
Owner verification
Not yet verified. Verifying proves you control this server and is free, permanently — it never changes a published score.
Start verification →Tools
- regexforge_synthshallow
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.
Embed this server’s score
Tool count and median score across every tool in this server’s corpus — honest in a way a single cherry-picked tool’s badge wouldn’t be.
[](https://vouch.tools/servers/f71e1091-1433-4eb8-b25c-0996c8a06844)