SnapKitty MCP Server

请根据以下治理规则生成 Ada 治理合约：提案需 3/5 多数通过，紧急提案可由委员会直接触发，并输出合约结构说明与关键参数。

输出可用于治理流程的 Ada 合约草案，以及参数、权限和执行逻辑说明。

为链上治理场景创建一个自治代理，要求包含身份配置、权限边界、任务目标和初始化步骤，并说明如何部署。

返回自治代理的配置方案、创建步骤和部署建议，便于后续自动化使用。

根据这组 Lean 定理结果生成可注入到 SSM 的状态定义，列出映射关系、校验条件和注入顺序。

输出从定理到系统状态的映射与注入方案，帮助实现形式化结果到运行状态的落地。