
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.
概覽
本機 Rust 常駐程式,為編碼代理提供附簽章的僅追加記憶帳本、精確句柄檢索、因果溯源與執行前指令攔截。
- 可以做什麼
- 記錄與檢索記憶:寫入帶標籤與儲存庫錨點的記憶,依精確句柄、標籤或儲存庫脈絡讀取,並對圖譜做提升、連結或抑制等整理。
- 追溯失敗根因:從失敗句柄沿被改動的檔案與 git 歷史往回走,或對指定測試指令執行 git bisect 並寫入簽章憑證。
- 管理工作階段:啟動工作階段、設定與檢查意圖、查看儲存健康狀態,並從記憶編譯脈絡檔案。
- 稽核與驗證:檢視攔截紀錄、重播寫入憑證、掃描疑似憑證字串,並驗證雜湊與簽章鏈。
- 攔截工具呼叫:以確定性規則在執行前阻擋破壞性指令,並透過鉤子在工作階段開始時注入熱門句柄、自動記錄失敗。
- 適用情境
- 適合需要跨工作階段持久記憶、並希望把失敗追溯到具體變更而非依賴相似度檢索的長期編碼代理。也適合希望在破壞性 shell、git 或 SQL 指令執行前由本機離線規則攔截的情境。
- 執行需求
- 以 stdio 方式作為本機程序執行;README 的快速開始會安裝 Rust 常駐程式並把鉤子接入 Claude Code、Cursor、Codex、Windsurf、Gemini CLI 等 IDE。未宣告任何環境變數或驗證。儲存庫錨定與 bisect 功能需要本機 git 儲存庫;README 稱發行版本不發出網路請求。
安裝
在 SourceWeft 中
- 開啟 儀表板中的 Vestige,將其新增到工作區。
- 為需要使用其工具的對話啟用該服務。
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:
- The 3:00 PM stack trace (
ConnectionPoolExhaustedException) shares 0% semantic similarity with the 9:00 AM config edit (max_idle_time = 0). - Cosine similarity retrieves plausible-looking decoys instead of the causal ancestor.
- 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.
Verify your live cryptographic store and 6-tool surface at any time:
🏛️ 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 theBLAKE3hash of the frame before it. Nightly segments are sealed withEd25519signatures. - Topological (
causal_walk): Memories are indexed by exact handles (id,tag,commit:<sha>, hunk-leveltouchedfile 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.lockcontention 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.
⚡ The 4 Autonomic Reflex Arcs (0-Turn Cognitive Injection)
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.Reflex::PreToolUse(114 Gate Rules + Landmine Interception): BeforeBash,Edit, orWriteexecutes, 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-recalledfailurenode in Strata. If a landmine exists, Reflex warns the agent with the exacthandle(mem-xxxx) before it repeats a mistake.Reflex::PostToolUse(Auto-Failure Capture + Inline Backfill): Whenever a command exits withexit_code != 0, Reflex automatically records a signedfailureframe in Strata, triggers Retroactive Salience Backfill across upstream touched nodes, surfaces any fadedforgotten_lesson(retrievability < 0.5), and appends the exactcausal_walkcommand directly to the tool output.Reflex::PreCommit(Proof-Carrying PR Enforcement): When an agent runsgit commitorgh pr createafter a logged failure in the current trajectory, Reflex verifies that a cryptographically signedprovebisect 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):
🏎️ 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-mcpis verified in CI to never linkreqwest—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:
🖥️ 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:
🛡️ 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版本歷史
2- v4.2.0最新Oct 16, 2026
- v3.0.0Sep 16, 2026
評分
已滿足適用檢查項的 50%
該評分衡量此收錄條目的完整程度,依據註冊中心條目、端點與公開來源計算得出。它不是對伺服器本身的評價,也不表示伺服器安全或目前可用:可連通性是帶日期的檢查結果,評分也不包含安裝量或使用者評價。
- 近 30 天內可連通25 分
請保持端點能夠回應 MCP 握手;SourceWeft 每 30 天探測一次。
- 已宣告認證方式10 分
請在註冊中心條目中宣告憑證請求標頭,或保持端點能夠回應探測,以便判定其認證方式。
- 已列出工具15 分
請讓伺服器在無憑證時回應 tools/list,或發布可在沙箱中無憑證啟動的軟體包。
- 描述必需15 分
- 圖示10 分
- 文件15 分
- 授權條款10 分