Provegate

Overview

Provegate (formerly epistemic-stack / fixpoint) is a set of three MCP (Model Context Protocol) servers that give AI coding agents justified, revisable beliefs about a codebase: drift detection, memory mesh, and proof chains. Hosted at alawein/provegate and deployed at provegate.online.

The Three MCP Servers

1. Drift detection — flag when an agent's mental model diverges from actual repo state (file hashes, import graphs, config invariants).
2. Memory mesh — sqlite-backed session memory store with semantic recall, allowing agents to remember decisions and context across sessions.
3. Proof chains — emit justification graphs for agent decisions, enabling audit and replay of reasoning steps.

Technical Approach

Built on Python 3.10+ with fastmcp>=2.0 (the lightweight MCP server framework), sqlite for persistence, and pytest for the test suite. The landing site uses the website/ + vercel.json static pattern (shared template with optiqap and fallax — slated for differentiation).

Relationship to Morphism

Provegate complements Morphism by providing the runtime layer that lets governance proofs propagate into agent context. Where Morphism enforces structure-preserving rules at change time, Provegate gives agents the introspection tools to know when they're operating on stale or unjustified beliefs.

Note: Some legacy epistemic_stack.egg-info/ artifacts remain on disk; the .claude/CLAUDE.md H1 was not yet rebranded to "provegate" at last audit.