$ loading_
为 AI 代理提供金融推理基础设施，支持类型化建模、确定性编译与结果凭证。
复制安装指令，让 AI 自动完成配置 · 推荐新手
请帮我安装 askskill 上的 "Flatland" MCP 服务： 执行：claude mcp add 'com-flatlandfi-flatland' -- npx -y flatland-client
帮助你登记 AI 智能体，并公开上报其收入、成本与增长表现。
为 AI 代理提供定理检索与数值、Lean 严格数学验证能力。
帮助AI编程代理在长任务中遵循架构、校验证据并控制偏移与风险。
为 AI 代理生成可离线验证的防篡改签名审计凭证。
为 AI 代理设置花费限额、人工审批与审计记录
帮助用户构建、版本化与审计财务模型，并导出为 Excel。