Armory
Source
Browse
MCPs

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.

Score
43.2751 signal
Evidence
4 stars
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. lean-lsp-mcp21 stars · 4 forks75.980

What it is

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

When to use it

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

How to install / invoke

See Glama for the install config.

Notes

Listed from the Glama MCP registry.