Thin client for the DSAIL hosted service: REST client, stdio MCP proxy, local review UI and repo scaffolding. Contains no parser, compiler or solver.
Setup
Choose your client, copy the config, then fill in any required environment variables.
Local
claude mcp add dsail -- uvx dsail~/.codex/config.toml
[mcp_servers.dsail]
command = "uvx"
args = ["dsail"]
# codex mcp add dsail -- uvx dsail~/.cursor/mcp.json
{
"mcpServers": {
"dsail": {
"command": "uvx",
"args": [
"dsail"
]
}
}
}.vscode/mcp.json
{
"servers": {
"dsail": {
"type": "stdio",
"command": "uvx",
"args": [
"dsail"
]
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"dsail": {
"command": "uvx",
"args": [
"dsail"
]
}
}
}claude_desktop_config.json
{
"mcpServers": {
"dsail": {
"command": "uvx",
"args": [
"dsail"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"dsail": {
"command": "uvx",
"args": [
"dsail"
]
}
}
}Remote
claude mcp add --transport http dsail https://agents.jaxon.ai/mcp~/.codex/config.toml
[mcp_servers.dsail]
url = "https://agents.jaxon.ai/mcp"
# codex mcp add dsail --url https://agents.jaxon.ai/mcp~/.cursor/mcp.json
{
"mcpServers": {
"dsail": {
"url": "https://agents.jaxon.ai/mcp"
}
}
}.vscode/mcp.json
{
"servers": {
"dsail": {
"type": "http",
"url": "https://agents.jaxon.ai/mcp"
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"dsail": {
"httpUrl": "https://agents.jaxon.ai/mcp"
}
}
}claude_desktop_config.json · Customize › Connectors › Add custom connector
{
"mcpServers": {
"dsail": {
"command": "npx",
"args": [
"-y",
"mcp-remote",
"https://agents.jaxon.ai/mcp"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"dsail": {
"url": "https://agents.jaxon.ai/mcp"
}
}
}