メニュー
SkillsMP は mirek/cave から 7 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
収集済み skill 7 件中 7 件を表示しています。
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,…
原文の言語: 英語
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…
原文の言語: 英語
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…
原文の言語: 英語
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,…
原文の言語: 英語
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…
原文の言語: 英語
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.
原文の言語: 英語
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…
原文の言語: 英語