Extending
Extending
Claude Desktop extensions + Desktop enablement. qnarre-mcp + qresev-mcp — replay-only MCP servers proxying the Qnarre/Qresev app seams (allow-listed examples, gates mirrored), packaged as .mcpb bundles and shipped via the publishing lane.
version extending-v2
source data/specs/extending-2026-07-13/SPEC.md
built 2026-07-24T09:25:09.545Z
BUILDING Two tiers, one tool surface
Stdio MCP servers proxy the two FastAPI seams; tier is a user_config.api_base_url value. The apps stay the sole Lean4 kernel consumers — extending consumes the apps.
Metrics
- servers
- 2
- serversBuilt
- 2
- tools
- 12
- allowListedExamples
- 5