CarpeOS

English · 한국어

文脈を捉え、知識を複合する。

CarpeOS は、AI支援の作業のためのパーソナルナレッジOSです。エージェントセッションを来歴（プロベナンス）付きで捕捉し、書き込み時に永続的な意味を形成します（安価な adj_v3 ルールと捕捉後のエージェント層）。昇格した決定事項をデフォルトで検索可能に保ち、後で MCP、CLI、Obsidian を介してあなたとあなたのエージェントがそのコンテキストを取得できるようにします。すべてローカルファーストで、ハッピーパスでは人間のレビューは不要です。

各情報の出所の痕跡を保持しますが、すべてのセッションダンプを「メモリ」に変えることはありません。

最新パッケージ: @innocarpe/carpeos@6.7.8 (CHANGELOG · v6.7.8)。

ウェブサイト

CarpeOS ウェブサイト で、製品概要、システムモデル、インストール手順、公開ドキュメントガイドをご覧ください。

Related MCP server: Hicortex - AI Fleet Memory

なぜこれが存在するのか

長いエージェントセッションを終えて、実際の決定、未完成の計画、再発見したくないバグの経路を得たとします。1週間後、そのコンテキストはチャット履歴、ターミナルのスクロールバック、いくつかのメモに分散しており、次のエージェントはそれを何も持っていません。

CarpeOS は、そのコンテキストをあなたが管理する一箇所に保持し、「X を決定した」と「モデルがかつて X を提案した」が同じように扱われないように十分な構造を持つことを目指しています。

公開コード。プライベート知識。
このリポジトリには、設計、仕様、実装があります。あなたの実際のセッション、プロジェクト、認証情報はあなたの側に残ります。

対象者

以下の場合に役立ちます:

• 複数のエージェント（Codex、Claude Code、Grok Build など）を切り替えており、それぞれに別々のメモリストーリーを持ちたくない

• 先週の決定がまだ利用可能で、古いトランスクリプトに埋もれていない必要がある

• 検索するときに、それがドラフト、却下、または実際に承認されたものかどうかを気にする

• データをデフォルトでローカルに保ち、必要なら自分で同期を実行したい

• ブラックボックスの「メモリ製品」よりも、明示的なスキーマとテストを好む

まだ洗練された消費者向けアプリではありません。ホスト型 SaaS でもありません。エディタの代替でもありません。すでにエージェントワークフローに住んでいる人々のための配管に近いものです。

箱の中身

すでに使っているツールからのキャプチャ

フックは、Codex、Claude Code、Grok Build からの選択されたライフサイクルイベントを共通のキャプチャ形状にマッピングします。生のペイロードは暗号化されたストレージに置かれ、イベントログはメタデータと参照を保持します。ホストフックはフェイルオープンで高速のままです。

「メモリ」の前に意味を形成する（2つのプレーン）

キャプチャ後、2つの書き込み時パスが保持する価値のあるものを割り当てることができます:

エージェント (ADR 0018): 検証済みの許可リスト抽出（decision / constraint / preference）は、E5 が文を引用スパンに基づかせた場合、デフォルトで昇格します。人間のクリックは不要です。procedure と fact_candidate は hold バイアスが続きます。人間は誤りを撤回し、任意で claim を受け入れ、または hold をクリアします。修正のみです。

Hold レビューは、両プレーンでポリシー認識型かつ追記専用のままです。どちらのパスも自動的に AcceptanceDecision を作成しません。

adj_v3 基盤 (3.2+) と B0 ポリシー調整プレビューは引き続き利用可能です:

carpeos adjudicate reconcile-policy \
  --from-policy adj_v1 --to-policy adj_v3 \
  --trust-zone tz_synthetic --limit 100

B0 はメタデータのみで、次の正確なフラグのみをサポートします: --from-policy、--to-policy、--trust-zone、--limit。--apply、--apply-safe-subset、確認応答、領収書、Supersession 構築はサポートされていません。B1 の書き込み/適用/領収書の作業は延期されています。ドッグフードの入力と出力は合成であり、使い捨てです。

ステータスを平坦化しないモデル

証拠は主張ではありません。主張が存在するだけで「真」になるわけではありません。承認と置換は独自のレコードです。検索は、何が確定しているか、何が提案のみか、何が置き換えられたかを示すことができ、すべてを一つのベクトルテキストの段落に詰め込むことはありません。

flowchart LR
  E[EvidenceArtifact] --> Feed[agentic_capture_feed]
  E --> J[adj_v3 optional]
  Feed --> Ag[Agentic E1–E8]
  Ag -->|promote-when-verified| O[Observation active]
  Ag -->|hold side channel| H[Observation draft]
  Ag -->|reject| R[Evidence only]
  J -->|promote| O
  J -->|hold| H
  O --> C[Claim draft optional]
  C --> A[AcceptanceDecision<br/>human only]
  O --> S[Supersession<br/>human retract]
  A --> F[Accepted fact<br/>derived at query time]
  S --> F

人とエージェントのためのインターフェース

• CLI — capture-hook、extract、adjudicate、agentic (run / timer / retract / golden / graphrag…)、retrieval rebuild、memory search|get|context-pack (デフォルトは昇格のみ、--include-held はオプトイン)、sync status|push|pull|once|cycle

• MCP (stdio) — 8つのローカルツール (memory_search、memory_get、memory_context_pack、memory_trace、memory_timeline、memory_related、memory_capture、memory_propose_claim)

• 常時オンのエージェント — 任意の 30 分タイマー: carpeos agentic timer install (デフォルトでネットワークオフ)

• Obsidian 投影 — ローカルストアから生成される Markdown ファイル (投影のみ、真実の源ではない)

• OKF v0.2 エクスポート投影 — carpeos okf export|rebuild は、トラストゾーンにスコープされ、デフォルトで昇格/アクティブなポータブルバンドルを書き込みます。正規ストレージやインポートパスではありません (ガイド)

ローカルファースト、同期は任意

各マシンはローカルのアウトボックスに書き込みます。プライベートなマルチデバイス同期を希望する場合は、デプロイ可能な Cloudflare Worker/D1/R2 コードがあり、オペレーターループ用の制限付き carpeos sync cycle もあります。投影は常にイベントログから再構築できます。

flowchart TB
  subgraph devices [Your machines]
    H1[Agent hooks]
    CLI[carpeos CLI]
    MCP[MCP stdio server]
    OBS[Obsidian projection]
  end

  subgraph local [Local runtime]
    OUT[Encrypted outbox + local store]
    RET[Search + recheck]
  end

  subgraph private [Optional private sync]
    W[Cloudflare Worker]
    D1[(D1 metadata)]
    R2[(R2 encrypted blobs)]
  end

  H1 --> OUT
  CLI --> OUT
  OUT --> RET
  RET --> MCP
  RET --> OBS
  OUT <--> W
  W --> D1
  W --> R2

どのように組み合わさるか

flowchart TB
  A[Agent hooks<br/>fail-open] --> B[Local capture<br/>no LLM]
  B --> F1[agentic_capture_feed]
  B --> F2[adj_v3 optional]
  F1 --> T[30m timer or<br/>agentic run]
  T --> G[E5 ground + gate<br/>promote-when-verified]
  G --> C[Event store]
  F2 --> C
  C --> D[Promoted / active meaning]
  C --> E[Projections]
  D --> M[MCP / CLI / Obsidian]
  E --> M
  H[Human retract / accept<br/>correction only] -.-> C

事前に知っておくべきルール:

1. イベントログは追記専用です。処分もポリシーバージョンごとに追記専用です。

2. デフォルト検索は昇格/アクティブな意味であり、捕捉されたすべてのセッションではありません。

3. エージェントの 検証時昇格 は、負荷のかかる HITL なしでループを閉じます (ADR 0018)。正式な AcceptanceDecision は依然として人間のみでオプションです。

4. 「承認済み」はクエリ時に計算されます。主張をその場で書き換えることはありません。

5. 機密の平文はイベントボディに保存されません。

6. トラストゾーンは実際の分離境界であり、見せかけのラベルではありません。

7. ノート、ベクトル、コンテキストパックは削除して再構築できます。これらは正規ストアではありません。

詳細: アーキテクチャ概要、 エージェント層、 メモリ容量、 ADR 0017、 ADR 0018、 ADRs、 spec/v1。

メモリ容量 (全体 vs アクティブ)

CarpeOS は、保存するプライベート知識の量とエージェントが今ロードする量を分離します:

コンテキストパックは、スパースなエキスパートスロット割り当て（デフォルト 16 スロット）と、キャッシュフレンドリーなセクション順序を使用して、受け入れられた事実が高チャーンなドラフトより先に来るようにします。メモリ容量アーキテクチャノート と 容量マスタープラン を参照してください。取得ファーストのグラフ/ハイブリッドリコール（クロスリポジトリパーティショニングとワークツリーファセットを含む）は 3.0 で出荷されました。ホスト型グラフアダプタやその他のロードマップ作業は計画中です。製品 3.0 DoD と GraphRAG ロードマップ を参照してください。

インストール

Node.js ≥ 22.22 が必要です。

ユーザー

# npm (preferred)
npm install -g @innocarpe/carpeos
carpeos setup plan              # see paths + actions (no changes)
carpeos setup run --apply       # apply defaults

# or curl (installs the same package, then setup run --apply)
curl -fsSL https://raw.githubusercontent.com/innocarpe/carpeos/main/scripts/install.sh | bash

carpeos setup は実際の CLI サーフェスであり、フラグのダンプではありません。デフォルトパスは ~/.carpeos と ~/.local/bin の下に置かれます。MCP は、それらのツールが PATH にある場合、Claude Code / Codex CLI / Grok Build に登録されます。

carpeos setup --help            # full parameter interface
carpeos setup plan              # resolved plan only
carpeos setup run --apply       # apply the plan (home, wrappers, MCP)
carpeos setup hooks install --apply   # capture hooks (merge-safe; product path)
carpeos setup doctor            # verify install + hooks + store signals
carpeos setup show              # print config.json

便利なオプション: --home、--bin-dir、--workspace-root、--trust-zone、--register-mcp auto|none|claude,codex,grok、--register-hooks auto|none|…。セットアップは --apply なしでマシンを変更することはありません。

再現性を重視する場合はバージョンを固定してください: npm i -g @innocarpe/carpeos@6.7.8。CHANGELOG.md を参照。 マイルストーン DoD (メンテナ): docs/maintainers/ · 製品インデックス: docs/PRD.md。

開発者 (git チェックアウト)

git clone https://github.com/innocarpe/carpeos.git && cd carpeos
node scripts/install-local.mjs plan
node scripts/install-local.mjs run --apply   # build, wrappers, MCP registration
node scripts/install-local.mjs hooks install --apply
export PATH="$HOME/.local/bin:$PATH"
node scripts/install-local.mjs doctor

モノレポでの作業で、グローバルインストールを使わない場合: pnpm install && pnpm build を実行し、その後 node apps/carpeos-cli/dist/index.js … を使用します（ローカルキャプチャ を参照）。

プロダクトパス: インストール → セッション → コンパウンド → 検索

# 1) Runtime + MCP
carpeos setup run --apply
# 2) Capture hooks (Claude / Codex / Grok; merge-safe, does not wipe user hooks)
carpeos setup hooks install --apply
# 3) Always-on Agentic brain (30 minutes; network off by default)
carpeos agentic timer install
# 4) Doctor (hooks, store, adjudication health, promoted-only default search)
carpeos setup doctor
# 5) After a host session, meaning compounds without manual review:
#    capture → feed → agentic run (timer or:)
carpeos agentic run --once --materialize
carpeos retrieval rebuild --trust-zone tz_local_default
carpeos memory search \
  --query "durable decision" \
  --trust-zone tz_local_default \
  --visible-trust-zone tz_local_default

# Correction only (not the happy path)
# carpeos agentic retract --event-id evt_… --reason "…" --decided-by human --human-confirmed
# carpeos agentic promote-held --event-id evt_…
# carpeos adjudicate list-held --limit 50

# Kill / staging
# CARPEOS_AGENTIC=off …
# CARPEOS_AGENTIC_HOLD_FIRST=1 carpeos agentic run --once --materialize

carpeos setup doctor は、フックのインストール状態、最近の EvidenceArtifact アクティビティ、Observation/Claim 数、adjudication ポリシーバージョンと promote/hold/reject 数、および デフォルト検索が promoted/active のみであること を報告します（空のストア → 警告であり、失敗ではありません）。

自動ゲート:

高度な/手動フックテンプレートは adapters/ にあります。詳細ノート: ワンストップインストール · MCP · プロダクトスモーク。

本リポジトリで作業するエージェント向け

最初に AGENTS.md をお読みください（公開/非公開の境界、PR ラベル、リリーススキル、インストールルール）。インストールは冪等に保ち、~/.carpeos、認証情報、実際のセッションデータをコミットしないでください。carpeos setup / scripts/install-local.mjs を優先してください — 代替のインストールパスを独自に作らないでください。リリースは SemVer + vX.Y.Z のみです（バージョニング、メジャーリリースサーフェス、skills/carpeos-release/SKILL.md）。

プロダクトライン（メジャー）

現在の npm パッケージは @innocarpe/carpeos@6.7.8 (v6.7.8) です: adjudication + retrieval を経由するオペレーターループ、Product 4 トラストプレーン、オプトインの Product 5 ドラフトレーン、そして Product 6 HITL フリーの Agentic Layer（キャプチャ後の Flash ブレイン; promote-when-verified、retract、day spend、30 分タイマー — ADR 0018）に加えて、agentic 品質プレーン（6.7.x: prepared packs、redaction、line-scoped admit、トランスクリプトリカバリ、cite grounding、品質コーパス DoD、near-dup hold、より高密度なホストアダプター — キャプチャは単純なまま; 人間向けツールは修正専用）。メジャー/マイナーの完全な論点と DoD インデックス:

• docs/PRD.md — メジャーごとに 1 つの PRD

• docs/architecture/agentic-layer.md — サービスマップ

• docs/architecture/agentic-quality.md — 品質ウルトラゴール

• docs/maintainers/ — product-N.0.0.md 証跡（例: 6.0.0、5.0.0）

正直な未達事項（完了を偽らない）: live Product 4 のリリース権限は out of band; B1 apply は延期; ホスト型 graph/edge は主張していない; V5 はキャプチャのホットパス上にない; procedure auto-promote は依然として hold 寄り; live Flash はオプトインネットワークのまま; Q-S5 dogfood は引き続き参考扱い（メトリクスヘルパーは出荷済み）。

現在動作するもの

公開パッケージ: @innocarpe/carpeos@6.7.8 （v6.7.8 · CHANGELOG）。npm install はホスト型デプロイや live Product 4 のリリース権限を意味しません。

デフォルトのローカルループ（CI ゲート付き）:

hooks → encrypted evidence → agentic_capture_feed (no LLM in capture)
  → agentic flush / run / 30m timer (promote-when-verified, agentic_v1.1)
  → quality belt (line-scoped admit, scrubbed pack views, cite clamp, near-dup)
  → active Observations in default search
  → retrieval-first graph/hybrid recall → MCP / CLI
  (+ adj_v3 baseline, local OKF export, optional private sync, Obsidian)

# Kill: CARPEOS_AGENTIC=off
# Staging: CARPEOS_AGENTIC_HOLD_FIRST=1
# Offline (no Flash): CARPEOS_AGENTIC_NETWORK=off or --allow-network false
# Credentials: DEEPSEEK_API_KEY or ~/.carpeos/v5-provider.env
# Q-S5 advisory: node scripts/quality-qs5-metrics.mjs --days 7

未デプロイ: ホスト型Worker、D1／R2本番リソース、ホスト型グラフアダプター／サービス、プライベートボールトの採用、またはホスト型MCPは、本リポジトリによって証明されていません。npm publishはSemVerタグ＋CIによってゲートされています（versioning）。

アダプターのインストール、ライブCloudflareセットアップ、ホスト型MCP、または較正された人間レベルの判断を、本リポジトリがテストとドキュメントでそう示すまで完了扱いしないでください。

リポジトリの境界

公開実装のみ。ランタイムナレッジは非公開のまま。

デザインへの影響

一部のアイデアはobsidian-mind（エージェントメモリ、フック、エージェント向け検索）と重なります。CarpeOSはそれとは別の設計です。すなわち、権威としてのMarkdownボールトではなく追記専用イベント、明示的なクレーム／アクセプタンス／置換、トラストゾーン、保護値、そして単一ベンダーにロックされないMCPです。

コントリビューション

CONTRIBUTING.md、GOVERNANCE.md、AGENTS.mdを参照してください。

pnpm check   # format, lint, build, typecheck, test, public-boundary

公開パッケージのリリースは共通のプロセスを使用します（任意のコーディングエージェントは同じスキルに従う必要があります）。

./scripts/install-release-skill.sh   # Claude / Codex / Grok skill links
# then: release / tag / npm — see skills/carpeos-release/SKILL.md

ライセンス

Apache License 2.0