memory → preflight → action
Preflight validation before every AI agent action.
- Block unsafe memory before agents act on it
- Stop dangerous drift propagation across agent fleets
- Z3 formal verification (overridable: false)
- F1=1.000 across 1,190+ adversarial corpus cases (R1-R11)
- Co-benchmarked with @grok — Round 11 F1=0.979 on compound attacks
- 4 independent detection layers: timestamp, identity, consensus, provenance
Demo key: sg_demo_playground — no signup needed
Overview
memory → preflight → action
Preflight validation before every AI agent action.
- Block unsafe memory before agents act on it
- Stop dangerous drift propagation across agent fleets
- Z3 formal verification (overridable: false)
- F1=1.000 across 1,190+ adversarial corpus cases (R1-R11)
- Co-benchmarked with @grok — Round 11 F1=0.979 on compound attacks
- 4 independent detection layers: timestamp, identity, consensus, provenance
Demo key: sg_demo_playground — no signup needed
Server Config
{
"mcpServers": {
"sgraal": {
"command": "npx",
"args": [
"@sgraal/mcp"
],
"env": {
"SGRAAL_API_KEY": "sg_demo_playground"
}
}
}
}