RegexForge
io.github.walkojas-boop/regexforge · v1.0.0 · MCP 2024-11-05
Deterministic regex synthesis from labeled examples. Zero LLM, proof matrix, backtracking audit.
Reachability
reachable
checked 2026-07-14 04:30 UTC
Registry status active
Tools pinned 1
74c9ceaecc53
Tools last changed
unchanged since first capture 2026-07-14
Provenance
Registry namespace io.github.walkojas-boop
(GitHub-account verified by the official registry)
Repository
github.com/walkojas-boop/regexforge
Remote endpoints
https://regexforge.jason-12c.workers.dev/mcp (streamable-http)
Observed changes
| When (UTC) | Event | Detail |
|---|---|---|
| 2026-07-14 03:22 | first capture | 1 tools pinned |
Pinned tool definitions (1)
| Tool | Description |
|---|---|
| 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... |
Status badge
[](https://toolpin.dev/servers/io.github.walkojas-boop/regexforge)
Maintain this server? Add the badge to your README — it links your users to this live status page.