1 repository with Claude Code or Codex plugins.
Thin client for the DSAIL hosted service: REST client, stdio MCP proxy, local review UI and repo scaffolding. Contains no parser, compiler or solver.
1 plugin · JaxonAI/dsail