A graph-spectral MCP server for verified code synthesis through belief revision.
Enables searching and browsing of Claude conversation history with hybrid search combining full-text, Spotlight, and optional vector embeddings.