mirek/cave

cave-storage-query

CAVE persistence and query specification (§9, §12–§13, §20, §24–§32). Covers append-only belief history, claim identity, SQLite storage, canonicalization, CAVE-Q and temporal reads, EXPECTS shape checks and gates, rules, actions, resolution, aliases, sync,…

Quellsprache: Englisch

cave-writing

CAVE language reference (spec §3–§8, §11, §16, §22) — syntax, lexical rules, verbs and REVERSE inverses, metadata qualifiers, values/units/uncertainty, trajectory values (A -> B) and time contexts, indentation and continuation, tags and topics, normative…

Quellsprache: Englisch

cave

Use CAVE (Compressed Atomic Verb Expressions) as durable, local, append-only agent memory through its cave_* MCP tools or CLI. Use when recording project knowledge, decisions, constraints, evidence, provenance, or confidence; recalling stored facts; querying…

Quellsprache: Englisch

cave-design

CAVE background and rationale (spec §0–§2, §10, §17–§19) — status conventions, design goals, the claim model and language layers, the probabilistic implementation layer (Bayesian fusion, noisy-AND, competing hypotheses), the Draft unified grammar (variables,…

Quellsprache: Englisch

cave-extraction

CAVE extraction guide (spec §14–§15, §21, §23) — rules for converting prose, conversations, code, and structured data into CAVE claims; granularity guide, conversation compaction, boundary cases, operating modes, worked example, deterministic structured…

Quellsprache: Englisch

verify

How to run and observe the cave CLI and MCP server end-to-end when verifying a change in this repo — build-free launch, driving cave commands against a scratch store, and exercising the MCP stdio surface with raw JSON-RPC lines.

Quellsprache: Englisch

typst

Typst 0.15.0 authoring and PDF production guide. Use when creating or editing .typ sources, building books or technical documents, validating generated PDFs, or updating Typst-specific syntax. Version-pinned to the latest stable Typst release verified on…

Quellsprache: Englisch