SmitheryListed
DSAIL
Turn a written policy into rules a program can check, and get the same answer every time. A written policy becomes a formal ruleset; your model extracts the claim values; the hosted service returns each assertion's own result — TRUE, FALSE, UNKNOWN or AMBIGUOUS — with the rule that decided, with a counterexample when one is violated. No model in the loop: the service never calls one.
First seen 2 Oct 2026. Evidence as of 5 Oct 2026.
-
Tools
No tool list captured yet
1
Source listings
Each with its own history
0
Recorded changes
Since first seen
Tools
No tool list captured yet.
Change history
No changes since the first observation. The first snapshot is the baseline.
| Source | Listing | First seen | Last seen | Versions |
|---|---|---|---|---|
| Smithery | jaxonai/dsail | 2 Oct 2026 | 5 Oct 2026 | 1 |