SMARTHAUS MCP (Public)

SMARTHAUS MCP is a governance-first MCP server stack designed for teams who need deterministic behavior, auditable evidence, and fail-closed execution.

This public repository is the front door for:

• App users/operators who want to download, install, run, and verify SMARTHAUS MCP.
• SDK builders who want to build mathematically aligned packs/integrations against stable public contracts.

In 20 seconds

Most tool runtimes drift silently: a plugin fails to load, a policy check becomes best-effort, or a configuration changes and the system still "looks up" while guarantees are gone.

SMARTHAUS MCP rejects that model. Governed behavior is bound to explicit mathematical artifacts (intent, lemmas, invariants, notebook proofs, scorecards). If required evidence is missing or non-green, execution is blocked rather than guessed.

Choose your path

Path A: Use the app

1. Start here: docs/app/GET_STARTED_APP_USERS.md
2. Downloads and releases: docs/app/APP_DOWNLOADS_AND_RELEASES.md
3. Packaging/install model: docs/app/PACKAGING_AND_INSTALLATION.md
4. Setup and run: docs/app/APP_SETUP_AND_RUN.md
5. Troubleshooting: docs/app/TROUBLESHOOTING.md
6. For enterprise/commercial deployments: docs/app/API_KEYS_AND_COMMERCIALIZATION.md

Path B: Build with the SDK

1. Start here: docs/sdk/GET_STARTED_SDK_BUILDERS.md
2. End-to-end build path: docs/sdk/BUILD_WITH_SDK_PATH.md
3. Complete math integration playbook: docs/governance/THIRD_PARTY_MATH_INTEGRATION_GUIDE.md
4. Certification checklist: docs/governance/CERTIFICATION_CHECKLIST.md
5. API reference: docs/sdk/API_REFERENCE.md

Why math-first determinism

If you are new to the approach, start with:

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

Canonical governance standard (copy-forward)

Use this as the source template for notebook-first governance in other SmartHaus repos:

• docs/governance/SMARTHAUS_NOTEBOOK_GOVERNANCE_STANDARD.md

Public vs internal repositories

• Public portal and SDK contracts: SMARTHAUS_MCPSERVER (this repo)
• Runtime implementation and operational tooling: SMARTHAUS_MCPSERVER_core

Boundary details: docs/sdk/INTERNAL_VS_PUBLIC_BOUNDARY.md.

Quick SDK import example

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

Full documentation index

See docs/README.md.