Deterministic regex synthesis from labeled examples. Zero LLM, proof matrix, backtracking audit.
Maintain this server? Claim it
Call this server's tools from your browser. Nothing to install.
Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.
Tool list from our last check. Connect live to refresh it.
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.
Optional natural-language description, used only for tie-breaking.
This tool isn't marked read-only, so it may change something on the server or in an account you connected.
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.
| Argument | Type | Description |
|---|---|---|
| examples* | array | |
| description | string | Optional natural-language description, used only for tie-breaking. |
{
"type": "object",
"required": [
"examples"
],
"properties": {
"examples": {
"type": "array",
"items": {
"type": "object",
"required": [
"text",
"match"
],
"properties": {
"text": {
"type": "string",
"maxLength": 2048
},
"match": {
"type": "boolean",
"description": "true if the regex should match this string; false if it should NOT match."
}
}
},
"maxItems": 100,
"minItems": 2
},
"description": {
"type": "string",
"description": "Optional natural-language description, used only for tie-breaking."
}
}
}