DSAIL — Claude Code MCP server: rules and setup
DSAIL turns written policies into checks that a program can run consistently. Use it when document claims must be evaluated against explicit rules.
claude mcp add --transport http dsail https://agents.jaxon.ai/mcpWhat DSAIL does
DSAIL compiles a policy into a formal ruleset identified by a content hash. Your model extracts claim values, while the service evaluates each assertion and returns TRUE, FALSE, UNKNOWN, or AMBIGUOUS. Each result includes the assertion name and the rule text that produced it.
The hosted service does not receive the source document or call a language model. It creates extraction prompts, a claim schema, and validation rules for your own model to use. The MCP proxy adds a review-opening tool, while the package provides dsail.Client, dsail mcp, dsail serve, and dsail init. The local package requires Python 3.10 or newer.
What it helps with
- compile a written policy into formal rules
- check document claims against those rules
- show which rule produced each result
- keep uncertain claims separate from false ones
- let your application decide what
FALSEmeans
Example prompts for the agent
- Compile the policy in
policies/expenses.dsail, then show the review a person would approve. - Extract claims from the document, check them against
policies/expenses.dsail, and write the values toclaims.json. - Open the review UI for the compiled policy and return its link.
How to install DSAIL
1Platform CLI: remote server
claude mcp add --transport http dsail https://agents.jaxon.ai/mcp2Platform CLI
claude mcp add dsail -- uvx dsailuvx runs the command named after the package; if the README names another one, use uvx --from dsail <command>
1Platform CLI: remote server
codex mcp add dsail --url https://agents.jaxon.ai/mcp2Platform CLI
codex mcp add dsail -- uvx dsailuvx runs the command named after the package; if the README names another one, use uvx --from dsail <command>
Config file
{
"mcpServers": {
"dsail": {
"url": "https://agents.jaxon.ai/mcp"
}
}
}{
"mcpServers": {
"dsail": {
"command": "uvx",
"args": [
"dsail"
]
}
}
}uvx runs the command named after the package; if the README names another one, use uvx --from dsail <command>
Config file
{
"servers": {
"dsail": {
"type": "http",
"url": "https://agents.jaxon.ai/mcp"
}
}
}{
"servers": {
"dsail": {
"type": "stdio",
"command": "uvx",
"args": [
"dsail"
]
}
}
}uvx runs the command named after the package; if the README names another one, use uvx --from dsail <command>
1Platform CLI: remote server
gemini mcp add -t http dsail https://agents.jaxon.ai/mcp2Platform CLI
gemini mcp add dsail uvx dsailuvx runs the command named after the package; if the README names another one, use uvx --from dsail <command>
Step by step, with commands for each platform: How to add an MCP server to Claude Code, Codex, Cursor, VS Code, Gemini CLI and more
Questions about DSAIL
How do I install DSAIL in Claude Code?
Run claude mcp add --transport http dsail https://agents.jaxon.ai/mcp.
What does DSAIL do?
It compiles written policy rules, checks extracted claim values, and reports each assertion separately. Results identify the assertion and its source rule.
What is required for the local DSAIL package?
Python 3.10 or newer is required. Install the package with pip install dsail.
