SMARTHAUS MCPSERVER

SMARTHAUS MCP（公共）

SMARTHAUS MCP是一个治理优先的MCP服务器栈，专为需要 确定性行为、可审计证据和故障关闭执行。

此公共存储库是以下内容的前门：

• 想要下载、安装、运行和验证SMARTHAUS MCP的应用程序用户/操作员。
• 希望根据稳定的公共合约构建数学对齐的包/集成的SDK构建者。

20秒后

大多数工具运行时都会悄无声息地漂移：插件无法加载，策略检查成为最大努力，或者 配置更改后，系统仍在“查找”，而保证已取消。

SMARTHAUS MCP拒绝该型号。受控行为必然会受到显式数学伪影的影响 （意图、引理、不变量、笔记本证明、记分卡）。如果所需证据缺失或非绿色， 执行被阻止，而不是被猜测。

选择你的道路

路径A：使用应用程序

1. 从这里开始： docs/app/GET_STARTED_app_USERS.md
2. 下载和发布：
3. 包装/安装型号： docs/app/PACKAGING_AND_INSTALLATION.md
4. 安装并运行： docs/app/app_SETUP_AND_RUN.md
5. 故障排除： docs/app/TROUBLESHOOTING.md
6. 对于企业/商业部署： docs/app/API_KEYS_AND_COMMERCIALIZATION.md文件

路径B：使用SDK构建

1. 从这里开始： docs/sdk/GET_STARTED_sdk_BUILDERS.md
2. 端到端构建路径： docs/sdk/BUILD_WITH_sdk_PATH.md
3. 完整的数学集成手册： docs/government/THIRD_PARTY_MATH_INTEGRATION-GUIDE.md
4. 认证清单： docs/government/证书_检查列表.md
5. API参考： docs/sdk/API_REFERENCE.md文件

为什么数学优先决定论

如果你对这种方法不熟悉，可以从以下方面开始：

• docs/government/PRODUCT_OVERVIEW.md
• docs/government/WHY_MATH_FIRST.md
• docs/government/MA_PROOF_LIFECYCLE.md

规范治理标准（复制转发）

将此作为其他SmartHaus仓库中笔记本优先治理的源模板：

• docs/government/SMARTHAUS_NOTEBOOK_governance_STANDARD.md

公共存储库与内部存储库

• 公共门户和SDK合同： SMARTHAUS_MCPSERVER （此回购）
• 运行时实现和操作工具： SMARTHAUS_MCPSERVER_core

边界细节： docs/sdk/INTERNAL_VS_PUBLIC_BOUNDARY.md.

快速SDK导入示例

from smarthaus_mcp_sdk.contracts import (
    MCPEvent,
    MCPPackContractError,
    MathContractSpec,
    PackAdapter,
    PackContext,
    PackRegistry,
    build_math_contract_spec,
)

完整文档索引

看 docs/README.md.