Guides

Cordis is the plugin framework underneath DeepSeek Harness, formalized in the preprint 'A Programming Paradigm for Spatiotemporal Composability'. Temporal composability: side effects fully revert on removal. Spatial composability: dependencies are declared and reactively managed — revertible effects plus reactive coeffects, unified in one context type.

Read guide →

DeepSeek Harness (dsh) is DeepSeek's open-source agent framework where every capability — model access, tools, sessions, even the agent loop itself — is a plugin with no privileged core. This guide explains the harness concept, walks one turn through the system, and shows why the session log invariant 'model-visible means logged' makes the whole thing auditable.

Read guide →