/**
 * MCP Server for Assay real-time verification.
 *
 * Exposes tools over stdio transport:
 * - verify_code: One-shot verification of a code snippet
 * - verify_and_fix: Verify code and return fix suggestions
 * - stream_verify: BAS-guided verification with optional logprobs
 * - get_annotations: Cached annotations from last stream_verify
 * - configure: Set BAS thresholds
 *
 * Resources:
 * - assay://bas_heatmap: Per-token BAS scores (unstable, debugging)
 *
 * Usage with Claude Code:
 *   npx tryassay mcp
 *
 * Claude Code config (~/.claude.json):
 *   { "mcpServers": { "assay": { "command": "npx", "args": ["tryassay", "mcp"] } } }
 */
export declare function startMcpServer(): Promise<void>;