# DSAIL

DSAIL превращает письменную политику в проверяемые правила и возвращает результат по каждому утверждению. Подходит для повторяемых проверок документов и данных.

- MCP-сервер · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI · ★ 9
- Автор: JaxonAI
- Лицензия: Apache-2.0 · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/JaxonAI/dsail
- Обновлён: 2026-10-09
- HTML: https://affpapa.org/nevibecode/mcp/dsail

## Что делает

DSAIL компилирует правила из политики в формальный набор с хешем содержимого. Модель извлекает значения утверждений, а сервис проверяет их отдельно и возвращает `TRUE`, `FALSE`, `UNKNOWN` или `AMBIGUOUS`. В каждом результате есть имя утверждения и исходный текст правила.

Сервис не получает документ и не вызывает модель. Он формирует набор промптов, JSON-схему и правила валидации, а проверяемый запрос содержит словарь утверждений. Через MCP доступны инструменты для открытия UI проверки; локальный пакет также даёт `dsail.Client`, `dsail mcp`, `dsail serve` и `dsail init`. Локальный вариант требует Python 3.10 или новее.

## Требования
- Нужно: Python и uv (команды через uvx)
- Удалённый сервер: `https://agents.jaxon.ai/mcp`

## Установка

### Claude Code (родная платформа)

1. **Командой платформы: удалённый сервер**
```bash
claude mcp add --transport http dsail https://agents.jaxon.ai/mcp
```

2. **Командой платформы**
```bash
claude mcp add dsail -- uvx dsail
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from dsail <команда>

### Codex

1. **Командой платформы: удалённый сервер**
```bash
codex mcp add dsail --url https://agents.jaxon.ai/mcp
```

2. **Командой платформы**
```bash
codex mcp add dsail -- uvx dsail
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from dsail <команда>

### Cursor

**Файл настроек**
Файл `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "dsail": {
            "url": "https://agents.jaxon.ai/mcp"
        }
    }
}
```
Файл `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "dsail": {
            "command": "uvx",
            "args": [
                "dsail"
            ]
        }
    }
}
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from dsail <команда>

### GitHub Copilot

**Файл настроек**
Файл `.vscode/mcp.json`:
```json
{
    "servers": {
        "dsail": {
            "type": "http",
            "url": "https://agents.jaxon.ai/mcp"
        }
    }
}
```
Файл `.vscode/mcp.json`:
```json
{
    "servers": {
        "dsail": {
            "type": "stdio",
            "command": "uvx",
            "args": [
                "dsail"
            ]
        }
    }
}
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from dsail <команда>

### Gemini CLI

1. **Командой платформы: удалённый сервер**
```bash
gemini mcp add -t http dsail https://agents.jaxon.ai/mcp
```

2. **Командой платформы**
```bash
gemini mcp add dsail uvx dsail
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from dsail <команда>

## Когда брать
- превратить письменную политику в формальные правила
- проверить значения утверждений в документе
- показать правило, определившее результат
- отделить `UNKNOWN` от ложного утверждения
- передать решение о последствиях `FALSE` своему приложению

## Примеры запросов агенту
- Преобразуй правила из `policies/expenses.dsail` в набор для проверки и покажи, что будет подписывать человек.
- Извлеки значения из документа, проверь их по `policies/expenses.dsail` и сохрани утверждения в `claims.json`.
- Открой UI проверки для скомпилированной политики и верни мне ссылку.

## Похожие
- [agent-governance](https://affpapa.org/nevibecode/skills/agent-governance.md) — скилл · 9623 установки
- [platform-policy-rule-generate](https://affpapa.org/nevibecode/skills/platform-policy-rule-generate.md) — скилл · 4100 установок
- [acreadiness-cockpit](https://affpapa.org/nevibecode/plugins/acreadiness-cockpit.md) — плагин · ★ 40451
- [cli-policy-audit](https://affpapa.org/nevibecode/skills/cli-policy-audit.md) — скилл · 952 установки
- [gap-surfacer](https://affpapa.org/nevibecode/skills/gap-surfacer.md) — скилл · 588 установок
- [gnt](https://affpapa.org/nevibecode/mcp/gnt.md) — MCP-сервер · ★ 30

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md