A
licenseA
qualityD
maintenanceMCP server exposing tools for WORM chain sealing, sovereign agent creation, Ada governance contract generation, and SSM state injection from Lean theorems.
6
4
Apache 2.0
115,360 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly npm Downloads ↓
Weekly PyPI Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
"author:SNAPKITTYWEST" matching MCP servers:
GET /v1/servers – MCP directory API reference- AlicenseNot gradedqualityDmaintenanceAn archived, unsafe MCP server with critical security vulnerabilities, classified as a pump and dump operation. Do not use in production.5 npm2ISC