Loading ToolBench
Exposes CSL-Core's compile-time verification and runtime enforcement to MCP-compatible clients. Provides tools for parsing, validating, compiling, and simulating CSL (Chimera Specification Language) policies with Z3 formal verification.
Scoring was not performed
Human-readable summary of a policy's structure
Generate a CSL policy template from description
Run a policy against JSON input(s)
TLA+ formal verification with full TLC results
State space analysis for a CSL policy
Parse + validate + Z3 verify a CSL policy
| Scored | Grade | Overall | Spec posture | Rubric |
|---|---|---|---|---|
| 2026-09-21 | F | 20 | 2026-07-28+ | v2 |
| 2026-03-09 | F | 28 | - | v1 |