MCP Servers

SnapKitty MCP Server

MCP server exposing tools for WORM chain sealing, sovereign agent creation, Ada governance contract generation, and SSM state injection from Lean theorems.

Category

README

@snapkitty/mcp-server

Sovereign-grade MCP server for SnapKitty Collective.

Exposes SnapKitty's core capabilities as MCP tools — callable from Claude, any MCP client, or directly via npx.

Tools

Tool	What it does
`worm_seal`	Seal any payload into the SHA-256 WORM chain
`worm_read`	Read and verify the WORM chain
`agent_build`	Create a sovereign agent manifest (SENTINEL/ORACLE/BUILDER/ARCHIVIST/BERSERKER)
`ada_contract_generate`	Generate an Ada-syntax governance contract, WORM-sealed
`twin_chat`	Chat with a local Ollama model, response WORM-sealed
`sovereign_inject`	Generate a Mamba SSM injection spec from Lean 4 theorem + Ada contract

Install

npm install -g @snapkitty/mcp-server

Claude Desktop config

{
  "mcpServers": {
    "snapkitty": {
      "command": "snapkitty-mcp"
    }
  }
}

Claude Code config (.mcp.json)

{
  "mcpServers": {
    "snapkitty": {
      "command": "npx",
      "args": ["@snapkitty/mcp-server"]
    }
  }
}

Requirements

Node.js 20+
Ollama running locally (for twin_chat — optional, other tools work offline)

Architecture

The sovereign_inject tool implements the BOB/METATRON architecture:

Lean 4 theorem  ──┐
                   ├──→  injection_vector (2048-dim)  ──→  SSM state gate
Ada contract    ──┘                                         h(t) = ā·h(t-1) + b̄·x(t) + W·v_inject

Structured symbolic proofs are embedded into SSM hidden state directly — bypassing the context window. The proof gate fires before state advances. Invalid proofs block state transitions.

Sovereign Stack

Built by SnapKitty Collective | collectivekitty.com

Recommended Servers

playwright-mcp

A Model Context Protocol server that enables LLMs to interact with web pages through structured accessibility snapshots without requiring vision models or screenshots.

Magic Component Platform (MCP)

An AI-powered tool that generates modern UI components from natural language descriptions, integrating with popular IDEs to streamline UI development workflow.

Audiense Insights MCP Server

Enables interaction with Audiense Insights accounts via the Model Context Protocol, facilitating the extraction and analysis of marketing insights and audience data including demographics, behavior, and influencer engagement.

VeyraX MCP

Single MCP tool to connect all your favorite tools: Gmail, Calendar and 40 more.

graphlit-mcp-server

The Model Context Protocol (MCP) Server enables integration between MCP clients and the Graphlit service. Ingest anything from Slack to Gmail to podcast feeds, in addition to web crawling, into a Graphlit project - and then retrieve relevant contents from the MCP client.

Kagi MCP Server

An MCP server that integrates Kagi search capabilities with Claude AI, enabling Claude to perform real-time web searches when answering questions that require up-to-date information.

E2B

Using MCP to run code via e2b.

Neon Database

MCP server for interacting with Neon Management API and databases

Exa Search

A Model Context Protocol (MCP) server lets AI assistants like Claude use the Exa AI Search API for web searches. This setup allows AI models to get real-time web information in a safe and controlled way.

Qdrant Server

This repository is an example of how to create a MCP server for Qdrant, a vector search engine.