Dsail

Turn a written policy into rules a program can check, and get the same answer every time.

LLM Mart 0 views 21 listing impressions
Transport
Not stated
Package
Registry id
ai.jaxon/dsail

No install snippet on purpose. A working MCP config is a command, its arguments and an environment block — the last two are where API keys live, so this catalogue never stores them and cannot publish them. Follow the link above for the authors' own instructions.

DSAIL converts English policies into formal rulesets and returns one of four results for each assertion. DSAIL is deterministic: same ruleset and claim values yield identical output every time. DSAIL never calls a language model; users extract claim values using a prompt pack from the service.

DSAIL is not an authorization engine, output filter, document store, or extraction service; it compiles rules and solves them. DSAIL is designed for policies such as expense rules, underwriting thresholds, release checklists, and records-retention clauses. DSAIL's process begins with restating the policy in English and compiling the source after user confirmation.

After compilation, users fetch the prompt pack, run extraction on their model, and check the claim dictionary.

Summary drafted from the project's own website. Every sentence is backed by text on that page and was reviewed before publishing.

Related servers

Let LLM help you achieve your regression analysis with Stata

18 views

vSphere with Tanzu (VKS): Namespace and TanzuKubernetesCluster lifecycle. Requires vSphere 8.x+.

17 views

Durable agentic memory, encrypted at rest. Fully offline: no network, no API key, no cloud.

15 views

Web search, deep research, prediction markets & crypto data for AI agents. Pay per call via x402.

15 views