Server definition

Hash: sha256:92c1a547a5bd51dd64bde813cb08aedcbdf70ccb7c60683060da4b356f56b128
What it is: What a remote MCP server returned when asked what it offers: 1 tools

The blob, as servednamed by its sha256

{
  "instructions": null,
  "tools": [
    {
      "description": "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.",
      "inputSchema": {
        "properties": {
          "description": {
            "description": "Optional natural-language description, used only for tie-breaking.",
            "type": "string"
          },
          "examples": {
            "items": {
              "properties": {
                "match": {
                  "description": "true if the regex should match this string; false if it should NOT match.",
                  "type": "boolean"
                },
                "text": {
                  "maxLength": 2048,
                  "type": "string"
                }
              },
              "required": [
                "text",
                "match"
              ],
              "type": "object"
            },
            "maxItems": 100,
            "minItems": 2,
            "type": "array"
          }
        },
        "required": [
          "examples"
        ],
        "type": "object"
      },
      "name": "regexforge_synth",
      "outputSchema": null
    }
  ]
}

Verify it yourself

curl -s https://api.teppi.xyz/v1/evidence/sha256:92c1a547a5bd51dd64bde813cb08aedcbdf70ccb7c60683060da4b356f56b128 | sha256sum