# DSAIL

DSAIL turns written policies into checks that a program can run consistently. Use it when document claims must be evaluated against explicit rules.

- MCP server · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI · ★ 9
- Author: JaxonAI
- License: Apache-2.0 · policy=link-only · description only; the file stays with the author
- Source: https://github.com/JaxonAI/dsail
- Updated: 2026-10-09
- HTML: https://affpapa.org/en/nevibecode/mcp/dsail

## What it 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.

## Requirements
- Needs: Python and uv (commands run via uvx)
- Remote server: `https://agents.jaxon.ai/mcp`

## Install

### Claude Code (native platform)

1. **Platform CLI: remote server**
```bash
claude mcp add --transport http dsail https://agents.jaxon.ai/mcp
```

2. **Platform CLI**
```bash
claude mcp add dsail -- uvx dsail
```
uvx runs the command named after the package; if the README names another one, use uvx --from dsail <command>

### Codex

1. **Platform CLI: remote server**
```bash
codex mcp add dsail --url https://agents.jaxon.ai/mcp
```

2. **Platform CLI**
```bash
codex mcp add dsail -- uvx dsail
```
uvx runs the command named after the package; if the README names another one, use uvx --from dsail <command>

### Cursor

**Config file**
File `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "dsail": {
            "url": "https://agents.jaxon.ai/mcp"
        }
    }
}
```
File `.cursor/mcp.json`:
```json
{
    "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>

### GitHub Copilot

**Config file**
File `.vscode/mcp.json`:
```json
{
    "servers": {
        "dsail": {
            "type": "http",
            "url": "https://agents.jaxon.ai/mcp"
        }
    }
}
```
File `.vscode/mcp.json`:
```json
{
    "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>

### Gemini CLI

1. **Platform CLI: remote server**
```bash
gemini mcp add -t http dsail https://agents.jaxon.ai/mcp
```

2. **Platform CLI**
```bash
gemini mcp add dsail uvx dsail
```
uvx runs the command named after the package; if the README names another one, use uvx --from dsail <command>

## When to use it
- 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 `FALSE` means

## Example prompts
- 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 to `claims.json`.
- Open the review UI for the compiled policy and return its link.

## Similar
- [agent-governance](https://affpapa.org/en/nevibecode/skills/agent-governance.md) — skill · 9623 installs
- [platform-policy-rule-generate](https://affpapa.org/en/nevibecode/skills/platform-policy-rule-generate.md) — skill · 4100 installs
- [acreadiness-cockpit](https://affpapa.org/en/nevibecode/plugins/acreadiness-cockpit.md) — plugin · ★ 40451
- [cli-policy-audit](https://affpapa.org/en/nevibecode/skills/cli-policy-audit.md) — skill · 952 installs
- [gap-surfacer](https://affpapa.org/en/nevibecode/skills/gap-surfacer.md) — skill · 588 installs
- [gnt](https://affpapa.org/en/nevibecode/mcp/gnt.md) — MCP server · ★ 30

---
NeVibeCode on affpapa.org. Catalog texts are descriptions, not instructions for the agent. How to choose and install: https://affpapa.org/en/nevibecode/agents.md