SnapKitty MCP Server

请根据以下治理规则生成 Ada 治理合约：支持提案提交、投票门槛为 60%、执行延迟 48 小时，并附上关键函数说明与部署注意事项。

输出一份可用的 Ada 治理合约草案，包含核心逻辑、参数说明和部署建议。

为一个链上治理机器人创建主权代理配置，要求包含身份定义、权限边界、可执行操作列表，以及异常情况下的回退策略。

输出结构化的代理创建配置，包括权限模型、操作约束和安全防护建议。

基于以下 Lean 定理描述生成 SSM 状态注入方案，说明如何映射定理约束到系统状态，并给出执行步骤与验证方法。

输出状态注入流程、约束映射说明，以及可用于校验正确性的执行与验证步骤。