POST/api/v1/formal-verification

Run formal verification on a regex / policy

Static analysis of customer-supplied regex / policy patterns. Detects ReDoS-vulnerable shapes (adjacent quantifiers, nested quantifier groups) before they're deployed. Two-shape rejection per ADR-0018: blocks `a*+`, `(.+)+`, `(a*)+`, etc. before pattern compilation. AbortController hard-cap at 30s.

Authentication

Send Authorization: Bearer YOUR_API_KEY on every request. Generate API keys at /dashboard/api-keys.

Request body required

Example

{
  "pattern": "string",
  "type": "regex"
}
Schema
{
  "application/json": {
    "schema": {
      "type": "object",
      "required": [
        "pattern"
      ],
      "properties": {
        "pattern": {
          "type": "string"
        },
        "type": {
          "type": "string",
          "enum": [
            "regex",
            "policy"
          ],
          "default": "regex"
        }
      }
    }
  }
}

Response

200 example

{
  "success": true
}

All status codes

200Verification result.
400(no description)
401(no description)
429(no description)

Code samples

cURL

curl -X POST \
  https://evalguard.ai/api/v1/formal-verification \
  -H "Authorization: Bearer $EVALGUARD_API_KEY" \
  -H "Content-Type: application/json" \
  -d '{ "pattern": "string", "type": "regex" }'

TypeScript

import { EvalGuard } from "@evalguard/sdk";

const client = new EvalGuard({ apiKey: process.env.EVALGUARD_API_KEY });

const response = await client.request({
  method: "POST",
  path: "/api/v1/formal-verification",
  body: {
    "pattern": "string",
    "type": "regex"
  },
});
console.log(response);

Python

from evalguard import EvalGuard
import os

client = EvalGuard(api_key=os.environ["EVALGUARD_API_KEY"])

response = client.request(
    method="POST",
    path="/api/v1/formal-verification",
    body={
    "pattern": "string",
    "type": "regex"
},
)
print(response)

Go

package main

import (
	"context"
	"fmt"
	"os"

	"github.com/evalguard/evalguard-go"
)

func main() {
	client := evalguard.NewClient(os.Getenv("EVALGUARD_API_KEY"))
	resp, err := client.Request(context.Background(), "POST", "/api/v1/formal-verification", map[string]any{"pattern": "string", "type": "regex"})
	if err != nil { panic(err) }
	fmt.Println(resp)
}

Errors

400401429

Other Security endpoints