deepclause-sdk: Instructions file for Codex

DeepClause: Guide for AI Agents

DeepClause is a neuro-symbolic runtime for self-modifying agent harnesses. A harness is a living DML program — Prolog with model calls, semantic judgments, and constraints. You (an LLM agent) can read it, extend it, test it, and run it from an interactive REPL; the run command executes a harness one-shot; the TypeScript SDK embeds the runtime.

There is no Markdown→DML compiler. DML is authored directly (by you), and a harness is a normal, inspectable Prolog module.

Three surfaces: repl, run, SDK.

---

1. The CLI

deepclause init                 # write .deepclause/config.json
deepclause login                # sign in via pi, pick a default model
deepclause repl                 # interactive living-module REPL
deepclause repl --session last  # resume recorded purpose/harness
deepclause repl --mode work --harness example  # use a declared Work shell
deepclause run skill.dml "arg"  # run one entry of a DML file / .zip bundle
deepclause visualize s.dml -g router/2 --presentation -o router.png

run opens the file as a library, calls agent_main/N (arity = number of positional args) or an explicit --goal, and streams events. visualize draws a skill (--presentation or --spec) as a Mermaid diagram from its listing and docs. Other commands: set-model, show-model, list-models, set-backend, logout.

---

2. The REPL: a living harness

Two input modes:

• Plain English (default) — a meta task writes/test DML and commits it (replace-by-predicate). Use this to add skills, add tools, change logic, or ask about the harness.
• goal: <dml>. — query the current harness directly with Prolog/DML.

Every prompt turn is an edit transaction: the module is snapshotted, the meta task edits a scratch copy and tests it with execute, and the result is committed only if it succeeds. Failed turns leave the harness unchanged.

Sessions, turns, traces, and versions are recorded under .deepclause/repl/ and exposed to DML as harness_* facts (harness_session/5, harness_turn/5, harness_change/5, harness_changed/4, harness_head/4, harness_trace/3). rollback. restores the previous version.