Safety gateway for model inputs and outputs: prompt-injection detection, PII redaction, groundedness checks and structured-output repair behind one policy layer. Saudi National ID/Iqama, IBAN and mobile detection with checksums.
On the held-out test splits of two public datasets (whose training splits informed its patterns)59.6%of 193 labelled attacks flagged (95% CI 52.5 to 66.3), with 0 false alarms on 178 benign prompts (upper bound 2.1%).
Limitation, as written in the READMEThe detector is 46 regular expressions. Paraphrase, translation and encoded attacks pass, so it is one layer of defence, never the only control.
Verifier-gated model cascade: answer with the cheapest model first, escalate only when verification fails, fit the thresholds offline. Benchmarked on a simulated model.
ResultCounts every verifier call, priced from the list prices in the repo. A 2-tier cascade is 5% cheaper at 99% of the strong model's accuracy; the 3-tier one costs more, and the README shows why.
Prompt and RAG context compression with a fact-recall evaluator, so savings are reported next to what was lost.
Result48% fewer tokens with every fact kept, where naive truncation saves 57% but keeps 21.7%. Synthetic RAG set.
Makes LLM-written SQL safe to execute: sqlglot AST allowlisting, read-only enforcement and optional EXPLAIN cost limits. Ships an adversarial corpus.
ResultExecutes only the guard's own normalised SQL, so a parser disagreement between guard and database cannot become a bypass. 22 functions blocked permanently, beyond the reach of config.
MCP server wrapper with API-key auth, tenant isolation, per-tool guardrails, rate limits and an audit log. Serves the 2026-07-28 MCP revision and the 2025 revisions side by side.
ResultSTRIDE threat model; 253 tests.
Checkpointed state-machine executor for agents: resume after a crash, identical-call loop breaker, model fallback chain, schema self-correction.
StatusDesign reference; no headline number.
Published test-time reasoning strategies behind one interface, adjudicated by a critic, under hard token, time and cost budgets.
StatusBenchmark harness; a real-model run needs your own key.
Faithfulness, answer relevance and recall@k for RAG pipelines, wired into CI so a regression fails the build.
StatusA CI gate, not a benchmark.