Vestige

io.github.samvallad33由 GitHub 账号 samvallad33 发布v4.2.0更新于 Nov 6, 2026

Causal Proof Engine for AI agents: signed log, zero vectors, failures traced to their cause.

概览

AI 生成的概览

本地 Rust 守护进程,为编码智能体提供带签名的追加式记忆账本、精确句柄检索、因果溯源与执行前命令拦截。

可以做什么
  • 记录与检索记忆:写入带标签和仓库锚点的记忆,按精确句柄、标签或仓库上下文读取,并对图谱做提升、关联或抑制等整理。
  • 追溯失败根因:从失败句柄沿被改动文件和 git 历史向后回溯,或对指定测试命令执行 git bisect 并写入签名凭证。
  • 管理会话:启动会话、设定与检查意图、查看存储健康状况,并从记忆中编译上下文文件。
  • 审计与校验:查看拦截记录、重放写入凭证、扫描疑似凭据字符串,并校验哈希与签名链。
  • 拦截工具调用:以确定性规则在执行前阻止破坏性命令,并通过钩子在会话开始时注入热点句柄、自动记录失败。
适用场景
适合需要跨会话持久记忆、并希望把失败追溯到具体改动而非依赖相似度检索的长期编码智能体。也适合希望在破坏性 shell、git 或 SQL 命令执行前由本地离线规则拦截的场景。
运行要求
以 stdio 方式作为本地进程运行;README 的快速开始会安装 Rust 守护进程并把钩子接入 Claude Code、Cursor、Codex、Windsurf、Gemini CLI 等 IDE。未声明任何环境变量或认证。仓库锚定与 bisect 功能需要本地 git 仓库;README 称发布版本不发起网络请求。
安装前请注意
执行前拦截与 reflex 钩子会介入并判定 Bash、Edit、Write、git commit 等工具调用,可能将其阻止;bisect 证明动作会执行你提供的测试命令。记忆写入、图谱变更与抑制都会记入本地账本,README 称标记为 pinned 的记忆会自动更新 CLAUDE.md。部分配套功能需一次性 149 美元授权。

安装

在 SourceWeft 中

  1. 打开 控制台中的 Vestige,将其添加到工作区。
  2. 为需要使用其工具的对话启用该服务。

Desktop only,通过 STDIO。 STDIO 服务会启动本地进程,因此需要 SourceWeft 桌面宿主。

其他 MCP 客户端

参照 仓库 中的启动说明。

README

VESTIGE v6.2

The Ring-0 Autonomic Execution Kernel & World's First Causal Proof Engine for AI Agents

Think before doing. Prove before saving. Memory is root cause, not search.

[License: AGPL v3] [Binary Size] [Embeddings] [IPC Latency] [Gate Rules]

Quick Start · Why We Ripped Out Vectors · S.T.R.A.T.A. Engine · The 6 MCP Verbs · Reflex Hooks · Vestige Operator


🚨 The Industry Lie: Memory Is Not a Search Engine

Every other AI memory tool on the market is a passive scrapbook built on unordered vector soup. Every other AI security tool is a stateless bouncer with complete amnesia.

When an autonomous coding agent breaks a build at 3:00 PM because a configuration flag was silently flipped at 9:00 AM, Vector RAG fails 100% of the time:

  1. The 3:00 PM stack trace (ConnectionPoolExhaustedException) shares 0% semantic similarity with the 9:00 AM config edit (max_idle_time = 0).
  2. Cosine similarity retrieves plausible-looking decoys instead of the causal ancestor.
  3. The agent guesses, edits the wrong file, fails again, and enters a $50,000 infinite retry loop.

Vestige v6.2 ends the guessing game. We ripped out ONNX, deleted vector embeddings, deleted keyword search, and deleted SQLite. In their place is a ~7.8 MB, 100% offline-verified Rust execution kernel that unifies pre-execution security gating, autonomic lifecycle hooks (reflex.sock), and backward causal credit assignment into a single closed-loop nervous system.

An Independent Study of 757 Agent Memory Systems (Agent Memory Atlas): "Every system in this atlas builds the ascent (extraction and retrieval). Almost none completes the descent (correction and forgetting)." Vestige is built for the descent.


⚡ Quick Start (30 Seconds)

One command installs the vestige-mcp Rust daemon, wires the 4 autonomic Reflex hooks into your IDE (Claude Code, Cursor, Codex, Windsurf, Gemini CLI), and replays your last 30 days of agent transcripts against our 114-rule gate to show every destructive command or failure loop Vestige would have stopped.

Operator is the guard for your agent's tool calls. npx @vestige/init --guard installs 102 STOP rules, OP-000 through OP-114, with OP-086–OP-097 and OP-100 reserved. It stops force pushes, dropped tables, recursive deletes, production deploys, credential reads and the rest of that closed list before they run, even when the command is disguised. Classification is deterministic: no model call and no network call. Operator Lite (numbered rules OP-000 through OP-025) is pinned beside the gate and judges every call too. An existing ~/.operator/gate/operator-gate.py is left in place.

bash
npx @vestige/init

Verify your live cryptographic store and 6-tool surface at any time:

bash
vestige precedent --query verify_log

🏛️ S.T.R.A.T.A. — The World's First Causal Proof Engine

The 102-rule gate is in this repository and is what --guard installs. See operator/README.md. board, letter, almost-forgot, onboard and briefing load companion modules when those files sit next to the gate. Buy Vestige Operator is the owner's copy of those companions: $149 once, every later version included, and a 30-day refund.

Underneath Vestige sits S.T.R.A.T.A. (Sequential Topological Reasoning for Autonomous Transaction Authorization)—an append-only, cryptographic execution ledger that replaces fuzzy similarity with mathematical provenance:

  • Sequential (BLAKE3 + Ed25519): Every memory write, tool call, and gate stop is recorded as an immutable frame carrying the BLAKE3 hash of the frame before it. Nightly segments are sealed with Ed25519 signatures.
  • Topological (causal_walk): Memories are indexed by exact handles (id, tag, commit:<sha>, hunk-level touched file edges, and interned stack-trace symbols). Free-text guessing is refused—and on refusal, Handle Discovery automatically parses your query to return exact candidate handles found in your words.
  • Reasoning (FSRS-6 + Retroactive Salience Backfill):
    • FSRS-6 Decay (Precision Forgetting): Unverified, unreferenced session noise automatically decays out of working memory so context windows stay razor-sharp.
    • Retroactive Salience Backfill (Runtime Credit Assignment): When a downstream failure or high-salience constraint lands, Vestige immediately walks the topological DAG backward on save, rescues the quiet upstream root-cause memory from FSRS-6 decay, boosts its salience, and writes a reversible cryptographic receipt.
  • Autonomous (reflex.sock): A zero-lock Unix Domain Socket (~/.vestige/reflex.sock) bridges external shell hooks directly into the hot in-memory Strata graph in <0.2ms—eliminating .serve.lock contention across multiple concurrent IDE windows.
  • Transaction Authorization (Operator + prove): Every agent action is treated as an untrusted transaction that must pass 114 pre-execution rules before running and can be verified post-fix via deterministic git-bisect test witnesses (causal_walk(action="prove")).

🧠 The Autonomic Dual-Tier Architecture

Standard MCP servers wait passively for an LLM to remember to call a tool. Vestige operates like a human nervous system: Reflex Hooks act as the spinal cord (firing automatically in 0 LLM turns and <0.2ms), while the 6 MCP Tools act as the deliberate prefrontal cortex.

text
                         ┌────────────────────────────────────────┐                         │   Model Prefrontal Cortex (6 Verbs)    │                         │   session · remember · recall ·        │                         │   causal_walk · curate · precedent     │                         └──────────────────┬─────────────────────┘                                            │ stdio / JSON-RPC                                            ▼┌──────────────────────┐  Unix Domain Socket   ┌────────────────────────────────────────┐│  Reflex Hooks Engine │ ◄───────────────────► │       vestige-mcp Server Daemon        ││    (Spinal Cord)     │  ~/.vestige/reflex.sock│  ┌───────────────────────────────────┐ ││                      │   (<0.2ms Zero-Lock)  │  │ In-Memory Strata Graph (Hot RAM)  │ ││ • SessionStart       │                       │  │ • FSRS-6 scheduler state          │ ││ • PreToolUse (114)   │                       │  │ • Exact Handle & Symbol Index     │ ││ • PostToolUse (RSB)  │                       │  │ • Causal DAG & Backfill Engine    │ ││ • PreCommit (Prove)  │                       │  └─────────────────┬─────────────────┘ │└──────────────────────┘                                            │ Exclusive Write Lock                                                                    ▼                                                       ┌────────────────────────┐                                                       │ Append-Only Strata Log │                                                       │ (BLAKE3 + Ed25519)     │                                                       └────────────────────────┘

⚡ The 4 Autonomic Reflex Arcs (0-Turn Cognitive Injection)

  1. Reflex::SessionStart (Active Handle Map Injection): On boot, resume, or context compaction, Vestige queries the local Git index against the hot Strata graph and injects the Top 5 Hot Entity Handles (id, tag, last_touched_file, and FSRS-6 retrievability) plus pinned repo rules. Your agent starts Turn 1 already holding the exact handles it needs.
  2. Reflex::PreToolUse (114 Gate Rules + Landmine Interception): Before Bash, Edit, or Write executes, Vestige runs 114 deterministic security rules (catching obfuscated shell commands, r''m, $IFS, ANSI-C quoting, base64 pipes, destructive SQL/git, and multi-step credential exfiltration) AND checks if the target file is linked to an un-recalled failure node in Strata. If a landmine exists, Reflex warns the agent with the exact handle (mem-xxxx) before it repeats a mistake.
  3. Reflex::PostToolUse (Auto-Failure Capture + Inline Backfill): Whenever a command exits with exit_code != 0, Reflex automatically records a signed failure frame in Strata, triggers Retroactive Salience Backfill across upstream touched nodes, surfaces any faded forgotten_lesson (retrievability < 0.5), and appends the exact causal_walk command directly to the tool output.
  4. Reflex::PreCommit (Proof-Carrying PR Enforcement): When an agent runs git commit or gh pr create after a logged failure in the current trajectory, Reflex verifies that a cryptographically signed prove bisect witness exists for the fix.

🛠️ The 6-Verb MCP Surface

Most MCP servers drown agents in 18–30 overlapping tool schemas—burning ~2,500 prompt tokens per turn and confusing smaller models. In v6.2, Vestige compresses its entire capability set into 6 flat-JSON cognitive verbs (while preserving internal backward-compatible aliases for all 18 legacy tool names):

MCP ToolCognitive IntentKey Actions & Capabilities
1. sessionBoot, Plan & Projectaction: "start" | "status" | "set_intention" | "check_intentions" | "complete_intention" | "project"
Manages cross-session prospective intentions, store health/stats, and compiles lock-free CLAUDE.md / AGENTS.md context fences directly from RAM.
2. rememberThe Single Gated WriteFlat parameters: content, tags, repo_path, files, is_decision.
Automatically anchors codebase records when repo_path/files are present, runs inline Retroactive Salience Backfill (returning backfilled_handles), and auto-updates CLAUDE.md when tagged "pinned".
3. recallExact-Handle ReadFlat parameters: handle, detail_level, query.
Resolves exact IDs, prefixes, tags, or repo context (get_context). Returns structured discovered_handles: [...] if free text is passed so the agent self-corrects on the immediate next turn.
4. causal_walkRoot Cause & Bisect Proofaction: "walk" | "prove", from_handle, good_ref, bad_ref, test_cmd.
• "walk": Auto-gathers GitHub issue/PR windows, walks hunk-level touched and git log -L ancestry backward, and auto-attaches faded forgotten_lesson nodes.
• "prove": Executes a frozen-protocol git bisect against test_cmd and writes a signed Strata witness card.
5. curateGraph & State Mutationaction: "promote" | "demote" | "edit" | "link" | "bridge" | "connect_identities" | "suppress"
Adjusts FSRS-6 stability weights, wires explicit causal links, bridges cross-project structural similarities (ghostlink), joins shared entity identities, or permanently suppresses invalid records with a signed audit receipt.
6. precedentReceipts & Integrity Auditquery: "stops" | "receipt" | "replay" | "verify_log" | "scan_secrets" | "selftest"
Inspects Operator gate stops, replays write receipts, scans for credential-shaped strings, and runs live BLAKE3 + Ed25519 verification (strata-verify) without stopping the server.

🏎️ David vs. Goliath: Making Local 8B Models Overpower Cloud Giants

Cloud memory wrappers charge a ~6,900-token tax per turn to stuff noisy vector chunks into frontier models. Because Vestige v6.2 pushes execution safety, failure detection, and backward credit assignment into a sub-millisecond local Rust daemon:

  • Zero Context Stuffing: Exact handles and FSRS-6 decay keep active context lean (<200 tokens of memory overhead), preventing small-model attention degradation.
  • Flat 6-Verb Schemas: Eliminates tool-selection hallucinations in 8B–9B local coding models (Qwen3-Coder-8B, Llama-3.1-8B, Gemma 4).
  • $0.00 Cloud Token Tax: A release build of vestige-mcp is verified in CI to never link reqwest—guaranteeing zero network calls, zero telemetry, and zero API fees.

Run the 3-lane ablation benchmark (Mode A: Baseline vs. Mode B: Forward-Only FSRS-6 vs. Mode C: Full Vestige v6.2 with RSB + Reflex) and generate an Ed25519-sealed proof log:

bash
./benchmarks/run-all-benchmarks.sh --ablation

🖥️ Host-Boundary CLI & Local WebGPU Dashboard

Because vestige-mcp routes concurrent CLI and hook calls through ~/.vestige/reflex.sock, you never hit .serve.lock collisions while an agent is active. The host CLI is stripped down to pure boundary operations:

bash
vestige serve                         # Start the MCP server + reflex.sock IPC daemonvestige backup <target-dir>           # Seal active Strata segment with Ed25519 & write owner-only backupvestige dashboard                     # Launch the loopback-hardened local UI on http://127.0.0.1:3927vestige update                        # Verify .sha256 release digests and update binary

🛡️ Vestige Operator

  • Vestige Core & Operator Lite (AGPL-3.0-only): Free and open-source forever. Includes the full Strata engine, the 6 MCP tools, the 4 Reflex hooks, and the built-in pre-execution rule gate.
  • Vestige Operator ($149 One-Time License): Adds custom repository law authoring (vestige.toml), team-wide proof-carrying PR enforcement (actions/proof-carrying-pr), multi-step exfiltration chain governors, and the weekly executive stop-board.

📚 Technical Reports & Documentation

  • TR-2026-01: Retroactive Salience Backfill & Silent Rotation Benchmark — How inline runtime credit assignment + FSRS-6 solves delayed root-cause attribution.
  • Configuration & Security Model — Loopback DNS-rebinding defenses, Sec-Fetch-Site enforcement, BLAKE3 frame chaining, and reflex.sock permissions (0o600).
  • Getting Started Guide & FAQ — GETTING-STARTED.md · FAQ.md · UPGRADING.md

Built from first principles in Rust by Sam Valladares.

Zero vectors. Zero cloud tax. 100% causal proof.

来源:README.md,提交 b57502b

工具

0
SourceWeft 尚未在沙箱中启动过该软件包,因此其工具未知。

版本历史

2
  1. v4.2.0最新Oct 16, 2026
  2. v3.0.0Sep 16, 2026

评分

已满足适用检查项的 50%

该评分衡量此收录条目的完整程度,依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价,也不表示服务器安全或当前可用:可连通性是带日期的检查结果,评分也不包含安装量或用户评价。

  • 近 30 天内可连通25 分

    请保持端点能够响应 MCP 握手;SourceWeft 每 30 天探测一次。

  • 已声明认证方式10 分

    请在注册中心条目中声明凭据请求头,或保持端点能够响应探测,以便判定其认证方式。

  • 已列出工具15 分

    请让服务器在无凭据时响应 tools/list,或发布可在沙箱中无凭据启动的软件包。

  • 描述必需15 分
  • 图标10 分
  • 文档15 分
  • 许可证10 分