Skip to main content

mirek/cave

SkillsMP ha recopilado 7 skills de mirek/cave. Abre una skill para revisar su origen y sus detalles.

Última actividad de origen registrada
Catálogo de SkillsMP actualizado
skills recopiladas
7
Estrellas en GitHub
4
Forks en GitHub
1

Skills en este repositorio

2 categorías ocupacionales · 100% clasificado

Mostrando 7 de 7 skills recopiladas.

ocupación
Desarrolladores de software
descripción

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,…

Idioma del texto original: inglés

actualizado
ocupación
Desarrolladores de software
descripción

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…

Idioma del texto original: inglés

actualizado
ocupación
Desarrolladores de software
descripción

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…

Idioma del texto original: inglés

actualizado
ocupación
Desarrolladores de software
descripción

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,…

Idioma del texto original: inglés

actualizado
ocupación
Desarrolladores de software
descripción

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…

Idioma del texto original: inglés

actualizado
ocupación
Desarrolladores de software
descripción

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.

Idioma del texto original: inglés

actualizado
ocupación
Editores de escritorio
descripción

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…

Idioma del texto original: inglés

actualizado
Mostrando 7 de 7 skills recopiladas.