About AI Guardrails

Constraint grammar engine for validating and correcting LLM token sequences at inference time.

What it does
  • Validates LLM output token-by-token against a finite-state constraint grammar
  • Detects and flags hallucinated, prohibited, or out-of-state tokens
  • Auto-corrects known bad patterns via grammar correction rules
  • Produces a signed grammar fingerprint for compliance audit trails
API
  • POST /api/validate — validate token list against grammar
  • GET /health — service health
Architecture

The ConstraintGrammar defines a domain FSM with rules (require/prohibit/correct) and state transitions. The TokenValidator walks the FSM token-by-token, recording per-token decisions. The StreamInterceptor wraps streaming LLM API responses in real time.

Domains
medical legal financial general