Remove critical CSS from your stylesheet after inlining it in your pages

Cave Effect CLI

cave — CLI for parsing, storing, querying and exporting CAVE knowledge.

Group echo cave

Tree-sitter grammar for CAVE — the canonical grammar artifact behind editor and terminal highlighting.

cave-loop — active-reconstruction agent layer over the CAVE graph (spec §18, non-normative).

CAVE syntax highlighting — web-tree-sitter over the @cavelang/tree-sitter-cave grammar, rendered to ANSI for terminals.

CAVE text to AST parser built on @prelude/parser combinators.

Type declarations for the cave API used in 3DS applets

CAVE domain model — claims, values, units, uncertainty, claim keys, UUIDv7 transactions.

CAVE canonicalization — verb lifecycle and inverse registry, continuation expansion, canonical emitter.

CAVE engine as an MCP server — stdio JSON-RPC exposing add/query/search/reconstruct tools over a knowledge database.

CAVE SQLite persistence — explicit runtime adapters, append-only belief series, and lifecycle-aware reads.

CAVE probabilistic layer — Bayesian fusion of numeric estimates, noisy-AND conditional confidence, hypothesis helpers.

CAVE human read surface (spec §30, §31) — cave serve: one static, self-contained HTML page over the store (entity 360, topic browse, belief-history timeline, BECAUSE-edge lineage, coverage/frontier dashboard); cave report: templated markdown from CAVE-Q r

CAVE-Q — graph-pattern queries with variables, lifecycle and inverse verbs, transitive hops, and filters.

Generate 2D cave layouts in JavaScript

CAVE action templates (spec §25) — named, parameterized governed writes: in-band declarations, CAVE-Q preconditions validated against current belief, atomic templated appends with BECAUSE/VIA lineage, and out-of-band side-effect hooks.

A mysterious cave where the sound is echoed over and over again.

Solver-neutral models, bounded verification workflows, validation, and result contracts for CAVE formal reasoning.