Skip to main content

mirek/cave

O SkillsMP coletou 7 skills de mirek/cave. Abra uma skill para revisar a origem e os detalhes.

Última atividade de origem registrada
Catálogo do SkillsMP atualizado
skills coletadas
7
Estrelas no GitHub
4
Forks no GitHub
1

Skills neste repositório

2 categorias ocupacionais · 100% classificado

Mostrando 7 de 7 skills coletadas.

ocupação
Desenvolvedores de software
descrição

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 do texto original: inglês

atualizado
ocupação
Desenvolvedores de software
descrição

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 do texto original: inglês

atualizado
ocupação
Desenvolvedores de software
descrição

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 do texto original: inglês

atualizado
ocupação
Desenvolvedores de software
descrição

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 do texto original: inglês

atualizado
ocupação
Desenvolvedores de software
descrição

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 do texto original: inglês

atualizado
ocupação
Desenvolvedores de software
descrição

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 do texto original: inglês

atualizado
ocupação
Editores de desktop
descrição

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 do texto original: inglês

atualizado
Mostrando 7 de 7 skills coletadas.