@gera-services/mcp-gera-verify 1.0.0

package/dist/data/providers.json

@@ -0,0 +1 @@
+{"meta":{"source":"Gera crawled verified-provider seed set","sourceUrl":null,"attribution":"Gera supplier crawler — verified provider contact records.","asOf":"2026-06-14T00:01:04.988Z"},"records":[{"name":"Nairi Medical Centre","type":"Hospital","city":"Yerevan","country":"Armenia","countryCode":"AM","website":"https://www.nairimedical.am","specialty":"Multi-specialty","source":"armenianmedicine_known","sourceUrl":"https://www.nairimedical.am","crawledAt":"2026-06-14T00:00:34.282Z"},{"name":"Erebuni Medical Centre","type":"Hospital","city":"Yerevan","country":"Armenia","countryCode":"AM","website":"https://erebuni.am","specialty":"Multi-specialty","source":"armenianmedicine_known","sourceUrl":"https://erebuni.am","crawledAt":"2026-06-14T00:00:34.282Z"},{"name":"MIKAYELYAN Institute of Surgery","type":"Hospital","city":"Yerevan","country":"Armenia","countryCode":"AM","website":"https://mikayelyan.am","specialty":"Surgery","source":"armenianmedicine_known","sourceUrl":"https://mikayelyan.am","crawledAt":"2026-06-14T00:00:34.282Z"},{"name":"Astghik Medical Centre","type":"Hospital","city":"Yerevan","country":"Armenia","countryCode":"AM","website":"https://astghikmed.am","specialty":"Multi-specialty","source":"armenianmedicine_known","sourceUrl":"https://astghikmed.am","crawledAt":"2026-06-14T00:00:34.282Z"},{"name":"Heratsi No.1 University Hospital","type":"Hospital","city":"Yerevan","country":"Armenia","countryCode":"AM","website":"https://med.am","specialty":"University Hospital","source":"armenianmedicine_known","sourceUrl":"https://med.am","crawledAt":"2026-06-14T00:00:34.282Z"},{"name":"Arabkir Medical Centre","type":"Hospital","city":"Yerevan","country":"Armenia","countryCode":"AM","website":"https://arabkir.am","specialty":"Paediatrics","source":"armenianmedicine_known","sourceUrl":"https://arabkir.am","crawledAt":"2026-06-14T00:00:34.282Z"},{"name":"Gyumri Medical Centre","type":"Hospital","city":"Gyumri","country":"Armenia","countryCode":"AM","website":null,"specialty":"Multi-specialty","source":"armenianmedicine_known","sourceUrl":"https://armenianmedicine.am","crawledAt":"2026-06-14T00:00:34.282Z"},{"name":"Evex Hospitals","type":"Hospital","city":"Tbilisi","country":"Georgia","countryCode":"GE","website":"https://evex.ge","specialty":"Multi-specialty","source":"georgia_known_clinics","sourceUrl":"https://evex.ge","crawledAt":"2026-06-14T00:00:38.388Z"},{"name":"Aversi Rational Medical Centre","type":"Clinic","city":"Tbilisi","country":"Georgia","countryCode":"GE","website":"https://aversi.ge","specialty":"Primary Care","source":"georgia_known_clinics","sourceUrl":"https://aversi.ge","crawledAt":"2026-06-14T00:00:38.388Z"},{"name":"Ingorokva High Medical Technology University Clinic","type":"Hospital","city":"Tbilisi","country":"Georgia","countryCode":"GE","website":"https://ingmed.ge","specialty":"Multi-specialty","source":"georgia_known_clinics","sourceUrl":"https://ingmed.ge","crawledAt":"2026-06-14T00:00:38.388Z"},{"name":"David Tvildiani Medical University Clinic","type":"Hospital","city":"Tbilisi","country":"Georgia","countryCode":"GE","website":"https://dtmu.ge","specialty":"University Hospital","source":"georgia_known_clinics","sourceUrl":"https://dtmu.ge","crawledAt":"2026-06-14T00:00:38.388Z"},{"name":"Batumi Reference Hospital","type":"Hospital","city":"Batumi","country":"Georgia","countryCode":"GE","website":null,"specialty":"Multi-specialty","source":"georgia_known_clinics","sourceUrl":"https://moh.gov.ge","crawledAt":"2026-06-14T00:00:38.388Z"},{"name":"New Hospitals Group Georgia","type":"Hospital","city":"Tbilisi","country":"Georgia","countryCode":"GE","website":"https://nh.ge","specialty":"Multi-specialty","source":"georgia_known_clinics","sourceUrl":"https://nh.ge","crawledAt":"2026-06-14T00:00:38.388Z"},{"name":"Caucasus Medical Centre","type":"Hospital","city":"Tbilisi","country":"Georgia","countryCode":"GE","website":"https://cmc.ge","specialty":"Oncology","source":"georgia_known_clinics","sourceUrl":"https://cmc.ge","crawledAt":"2026-06-14T00:00:38.388Z"},{"name":"Case Hospital Kampala","type":"Hospital","city":"Kampala","country":"Uganda","countryCode":"UG","website":"https://www.case.co.ug","specialty":"Multi-specialty","source":"uganda_known_hospitals","sourceUrl":"https://www.case.co.ug","crawledAt":"2026-06-14T00:00:42.191Z"},{"name":"International Hospital Kampala","type":"Hospital","city":"Kampala","country":"Uganda","countryCode":"UG","website":"https://ihk.co.ug","specialty":"Multi-specialty","source":"uganda_known_hospitals","sourceUrl":"https://ihk.co.ug","crawledAt":"2026-06-14T00:00:42.191Z"},{"name":"Victoria Hospital Kampala","type":"Hospital","city":"Kampala","country":"Uganda","countryCode":"UG","website":null,"specialty":"General","source":"uganda_known_hospitals","sourceUrl":"https://health.go.ug","crawledAt":"2026-06-14T00:00:42.191Z"},{"name":"Mulago National Referral Hospital","type":"Hospital","city":"Kampala","country":"Uganda","countryCode":"UG","website":null,"specialty":"National Referral","source":"uganda_known_hospitals","sourceUrl":"https://health.go.ug","crawledAt":"2026-06-14T00:00:42.191Z"},{"name":"Aga Khan Health Services Uganda","type":"Clinic","city":"Kampala","country":"Uganda","countryCode":"UG","website":"https://hospitals.agakhanhealth.org","specialty":"Primary Care","source":"uganda_known_hospitals","sourceUrl":"https://hospitals.agakhanhealth.org","crawledAt":"2026-06-14T00:00:42.191Z"},{"name":"Korle Bu Teaching Hospital","type":"Hospital","city":"Accra","country":"Ghana","countryCode":"GH","website":null,"specialty":"Teaching Hospital","source":"ghana_known_hospitals","sourceUrl":"https://ghanahealth.gov.gh","crawledAt":"2026-06-14T00:01:04.988Z"},{"name":"Komfo Anokye Teaching Hospital","type":"Hospital","city":"Kumasi","country":"Ghana","countryCode":"GH","website":null,"specialty":"Teaching Hospital","source":"ghana_known_hospitals","sourceUrl":"https://ghanahealth.gov.gh","crawledAt":"2026-06-14T00:01:04.988Z"},{"name":"Trust Hospital Accra","type":"Hospital","city":"Accra","country":"Ghana","countryCode":"GH","website":null,"specialty":"Multi-specialty","source":"ghana_known_hospitals","sourceUrl":"https://ghanahealth.gov.gh","crawledAt":"2026-06-14T00:01:04.988Z"},{"name":"Nyaho Medical Centre","type":"Clinic","city":"Accra","country":"Ghana","countryCode":"GH","website":"https://nyaho.com","specialty":"Primary Care","source":"ghana_known_hospitals","sourceUrl":"https://nyaho.com","crawledAt":"2026-06-14T00:01:04.988Z"},{"name":"Lister Hospital Accra","type":"Hospital","city":"Accra","country":"Ghana","countryCode":"GH","website":"https://listerhospital.com","specialty":"Multi-specialty","source":"ghana_known_hospitals","sourceUrl":"https://listerhospital.com","crawledAt":"2026-06-14T00:01:04.988Z"},{"name":"Annie Cropper Hospital Accra","type":"Hospital","city":"Accra","country":"Ghana","countryCode":"GH","website":null,"specialty":"General","source":"ghana_known_hospitals","sourceUrl":"https://ghanahealth.gov.gh","crawledAt":"2026-06-14T00:01:04.988Z"}]}

package/dist/data.d.ts

@@ -0,0 +1,105 @@
+export interface DatasetMeta {
+    source: string;
+    sourceUrl: string | null;
+    attribution: string;
+    asOf: string | null;
+    note?: string;
+}
+export interface FhrsRecord {
+    fhrsId: string;
+    name: string;
+    address: string | null;
+    postcode: string | null;
+    businessType: string | null;
+    rating: number | null;
+    ratingLabel: string | null;
+    ratingDate: string | null;
+    authority: string;
+    scheme: 'FHRS' | 'FHIS';
+}
+export interface CqcRecord {
+    cqcLocationId: string;
+    name: string;
+    providerName: string | null;
+    address: string | null;
+    postcode: string | null;
+    phone: string | null;
+    website: string | null;
+    serviceTypes: string[];
+    lastInspected: string | null;
+    authority: string;
+    region: string | null;
+}
+export interface DoctorRecord {
+    slug: string;
+    name: string;
+    specialty: string | null;
+    city: string | null;
+    country: string | null;
+    countryCode: string | null;
+    area: string | null;
+    languages: string[];
+    availableOnline: boolean;
+    sourceUrl: string | null;
+}
+export interface ProviderRecord {
+    name: string;
+    type: string | null;
+    city: string | null;
+    country: string | null;
+    countryCode: string | null;
+    website: string | null;
+    specialty: string | null;
+    source: string | null;
+    sourceUrl: string | null;
+    crawledAt: string | null;
+}
+interface Dataset<T> {
+    meta: DatasetMeta;
+    records: T[];
+}
+export declare const fhrs: Dataset<FhrsRecord>;
+export declare const cqc: Dataset<CqcRecord>;
+export declare const doctors: Dataset<DoctorRecord>;
+export declare const providers: Dataset<ProviderRecord>;
+/** Lower-case, strip punctuation/extra whitespace for fuzzy name matching. */
+export declare function norm(s: string | null | undefined): string;
+/** Normalise a UK postcode for comparison (uppercase, no spaces). */
+export declare function normPostcode(s: string | null | undefined): string;
+/** Outward code (first half) of a UK postcode, e.g. "B7 5SA" -> "B7". */
+export declare function outwardCode(s: string | null | undefined): string;
+/**
+ * Score how well a query name matches a record name.
+ *  3 = exact (normalised) equality
+ *  2 = one is a substring/contains-all-tokens of the other
+ *  1 = the query tokens are a subset of the record tokens (or vice-versa)
+ *  0 = no match
+ */
+export declare function nameMatchScore(query: string, candidate: string): number;
+export interface LocationFilter {
+    city?: string;
+    postcode?: string;
+}
+/**
+ * Does a record's location (city/address/postcode) satisfy the filter?
+ * Returns true when no filter is given (location is optional).
+ */
+export declare function locationMatches(filter: LocationFilter, rec: {
+    city?: string | null;
+    address?: string | null;
+    postcode?: string | null;
+    authority?: string;
+}): boolean;
+/** Generic best-match search over a named-record dataset. */
+export declare function findByName<T extends {
+    name: string;
+}>(records: T[], name: string, location: LocationFilter, locOf: (r: T) => {
+    city?: string | null;
+    address?: string | null;
+    postcode?: string | null;
+    authority?: string;
+}, limit?: number): Array<{
+    record: T;
+    score: number;
+}>;
+export {};

package/dist/data.js

@@ -0,0 +1,128 @@
+/**
+ * data.ts — load and index the REAL verified datasets snapshotted into
+ * src/data/*.json by scripts/build-data.mjs. Everything here is offline:
+ * the JSON is read once from disk at module load, indexed in memory, and
+ * queried by the MCP tools. No network, no Neon, no fabrication.
+ *
+ * Each dataset carries its own provenance (`meta`) so every tool response can
+ * attribute the source + as-of date. When a lookup misses, callers return a
+ * clear "not in our verified records" — never a guessed value.
+ */
+import { readFileSync, existsSync } from 'node:fs';
+import { fileURLToPath } from 'node:url';
+import { dirname, join } from 'node:path';
+const __dirname = dirname(fileURLToPath(import.meta.url));
+// Built server runs from dist/ → dist/data/. Fall back to the committed
+// source snapshot (src/data/) so the package also works pre-copy and in dev.
+const CANDIDATE_DIRS = [
+    join(__dirname, 'data'),
+    join(__dirname, '..', 'src', 'data'),
+    join(__dirname, '..', 'data'),
+];
+const DATA_DIR = CANDIDATE_DIRS.find((d) => existsSync(join(d, 'fhrs.json'))) ?? CANDIDATE_DIRS[0];
+function load(file) {
+    try {
+        return JSON.parse(readFileSync(join(DATA_DIR, file), 'utf8'));
+    }
+    catch {
+        // Missing data file: degrade gracefully to an empty, clearly-attributed set
+        // rather than crashing the server. Tools then honestly report "unknown".
+        return {
+            meta: {
+                source: 'unavailable',
+                sourceUrl: null,
+                attribution: 'Dataset not built — run scripts/build-data.mjs.',
+                asOf: null,
+            },
+            records: [],
+        };
+    }
+}
+export const fhrs = load('fhrs.json');
+export const cqc = load('cqc.json');
+export const doctors = load('doctors.json');
+export const providers = load('providers.json');
+// ── Normalisation + matching helpers ────────────────────────────────────────
+/** Lower-case, strip punctuation/extra whitespace for fuzzy name matching. */
+export function norm(s) {
+    return (s ?? '')
+        .toLowerCase()
+        .replace(/&/g, ' and ')
+        .replace(/[^a-z0-9]+/g, ' ')
+        .trim();
+}
+/** Normalise a UK postcode for comparison (uppercase, no spaces). */
+export function normPostcode(s) {
+    return (s ?? '').toUpperCase().replace(/\s+/g, '');
+}
+/** Outward code (first half) of a UK postcode, e.g. "B7 5SA" -> "B7". */
+export function outwardCode(s) {
+    const p = normPostcode(s);
+    if (!p)
+        return '';
+    // Inward code is always the last 3 chars (digit + 2 letters).
+    return p.length > 3 ? p.slice(0, p.length - 3) : p;
+}
+/**
+ * Score how well a query name matches a record name.
+ *  3 = exact (normalised) equality
+ *  2 = one is a substring/contains-all-tokens of the other
+ *  1 = the query tokens are a subset of the record tokens (or vice-versa)
+ *  0 = no match
+ */
+export function nameMatchScore(query, candidate) {
+    const q = norm(query);
+    const c = norm(candidate);
+    if (!q || !c)
+        return 0;
+    if (q === c)
+        return 3;
+    if (c.includes(q) || q.includes(c))
+        return 2;
+    const qt = new Set(q.split(' '));
+    const ct = new Set(c.split(' '));
+    let overlap = 0;
+    for (const t of qt)
+        if (ct.has(t))
+            overlap++;
+    // Require the smaller token set to be (almost) fully covered.
+    const minSize = Math.min(qt.size, ct.size);
+    if (minSize > 0 && overlap >= minSize)
+        return 1;
+    // Partial token overlap (>=2 shared meaningful tokens) still counts weakly.
+    if (overlap >= 2)
+        return 1;
+    return 0;
+}
+/**
+ * Does a record's location (city/address/postcode) satisfy the filter?
+ * Returns true when no filter is given (location is optional).
+ */
+export function locationMatches(filter, rec) {
+    const wantCity = norm(filter.city);
+    const wantPc = outwardCode(filter.postcode);
+    let ok = true;
+    if (wantCity) {
+        const hay = norm([rec.city, rec.address, rec.authority].filter(Boolean).join(' '));
+        ok = ok && hay.includes(wantCity);
+    }
+    if (wantPc) {
+        const recPc = outwardCode(rec.postcode);
+        ok = ok && recPc === wantPc;
+    }
+    return ok;
+}
+/** Generic best-match search over a named-record dataset. */
+export function findByName(records, name, location, locOf, limit = 5) {
+    const scored = [];
+    for (const r of records) {
+        const score = nameMatchScore(name, r.name);
+        if (score === 0)
+            continue;
+        if (!locationMatches(location, locOf(r)))
+            continue;
+        scored.push({ record: r, score });
+    }
+    scored.sort((a, b) => b.score - a.score);
+    return scored.slice(0, limit);
+}

package/dist/http.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Gera Verify MCP Server — HOSTED transport (Streamable HTTP / SSE)
+ *
+ * Serves the exact same Proof-of-Real tools as the stdio server, but over the
+ * MCP Streamable HTTP transport, so remote MCP clients and ChatGPT Apps can
+ * reach it at a public URL (e.g. https://verify.gera.services/mcp) instead of
+ * spawning a local process. The tool handlers are reused unchanged via
+ * `createServer()` from server.ts.
+ *
+ * Runs stateless (a fresh McpServer + transport per request) — correct for a
+ * read-only, offline lookup service with no cross-call state, and safe to host
+ * behind a serverless function or a horizontally-scaled container.
+ *
+ * Endpoint contract (MCP Streamable HTTP, 2025-03-26 spec):
+ *   POST /mcp    → JSON-RPC request/response (and SSE streaming when used)
+ *   GET  /mcp    → 405 (no server-initiated streams in stateless mode)
+ *   GET  /health → plain-text liveness probe (exempt, never blocked)
+ *
+ * Product: Gera Verify — a Gera Systems product (gera.services).
+ */
+import { IncomingMessage, ServerResponse } from 'node:http';
+export declare function createHttpRequestListener(): (req: IncomingMessage, res: ServerResponse) => Promise<void>;
+export declare function main(): Promise<void>;

package/dist/http.js

@@ -0,0 +1,148 @@
+/**
+ * Gera Verify MCP Server — HOSTED transport (Streamable HTTP / SSE)
+ *
+ * Serves the exact same Proof-of-Real tools as the stdio server, but over the
+ * MCP Streamable HTTP transport, so remote MCP clients and ChatGPT Apps can
+ * reach it at a public URL (e.g. https://verify.gera.services/mcp) instead of
+ * spawning a local process. The tool handlers are reused unchanged via
+ * `createServer()` from server.ts.
+ *
+ * Runs stateless (a fresh McpServer + transport per request) — correct for a
+ * read-only, offline lookup service with no cross-call state, and safe to host
+ * behind a serverless function or a horizontally-scaled container.
+ *
+ * Endpoint contract (MCP Streamable HTTP, 2025-03-26 spec):
+ *   POST /mcp    → JSON-RPC request/response (and SSE streaming when used)
+ *   GET  /mcp    → 405 (no server-initiated streams in stateless mode)
+ *   GET  /health → plain-text liveness probe (exempt, never blocked)
+ *
+ * Product: Gera Verify — a Gera Systems product (gera.services).
+ */
+import { createServer as createHttpServer } from 'node:http';
+import { StreamableHTTPServerTransport } from '@modelcontextprotocol/sdk/server/streamableHttp.js';
+import { createServer as createMcpServer } from './server.js';
+const MCP_PATH = '/mcp';
+function readBody(req) {
+    return new Promise((resolve, reject) => {
+        const chunks = [];
+        let size = 0;
+        const MAX = 1_000_000; // 1 MB — lookup payloads are tiny.
+        req.on('data', (chunk) => {
+            size += chunk.length;
+            if (size > MAX) {
+                reject(new Error('Request body too large'));
+                req.destroy();
+                return;
+            }
+            chunks.push(chunk);
+        });
+        req.on('end', () => {
+            const raw = Buffer.concat(chunks).toString('utf8');
+            if (!raw) {
+                resolve(undefined);
+                return;
+            }
+            try {
+                resolve(JSON.parse(raw));
+            }
+            catch {
+                reject(new Error('Invalid JSON body'));
+            }
+        });
+        req.on('error', reject);
+    });
+}
+function jsonError(res, status, message) {
+    res.writeHead(status, { 'Content-Type': 'application/json' });
+    res.end(JSON.stringify({
+        jsonrpc: '2.0',
+        error: { code: -32000, message },
+        id: null,
+    }));
+}
+/**
+ * Handle a single MCP request in stateless mode: spin up a fresh server +
+ * transport, wire them, dispatch, and tear down when the response closes.
+ */
+async function handleMcpPost(req, res) {
+    let body;
+    try {
+        body = await readBody(req);
+    }
+    catch (err) {
+        jsonError(res, 400, err instanceof Error ? err.message : 'Bad request');
+        return;
+    }
+    const server = createMcpServer();
+    const transport = new StreamableHTTPServerTransport({
+        // Stateless: no session id, no cross-request state.
+        sessionIdGenerator: undefined,
+    });
+    res.on('close', () => {
+        void transport.close();
+        void server.close();
+    });
+    try {
+        await server.connect(transport);
+        await transport.handleRequest(req, res, body);
+    }
+    catch (err) {
+        console.error('[gera-verify:http] request error:', err);
+        if (!res.headersSent) {
+            jsonError(res, 500, 'Internal server error');
+        }
+    }
+}
+export function createHttpRequestListener() {
+    return async (req, res) => {
+        const url = new URL(req.url ?? '/', 'http://localhost');
+        const path = url.pathname;
+        // Liveness probe — exempt, never gated (Lesson 5 parity for hosted MCP).
+        if (path === '/health' && req.method === 'GET') {
+            res.writeHead(200, { 'Content-Type': 'text/plain' });
+            res.end('ok');
+            return;
+        }
+        if (path === MCP_PATH) {
+            if (req.method === 'POST') {
+                await handleMcpPost(req, res);
+                return;
+            }
+            // Streamable HTTP allows GET for server-initiated SSE; we are stateless,
+            // so there is no standalone stream to open.
+            res.writeHead(405, { 'Content-Type': 'application/json', Allow: 'POST' });
+            res.end(JSON.stringify({
+                jsonrpc: '2.0',
+                error: { code: -32000, message: 'Method not allowed. Use POST ' + MCP_PATH + '.' },
+                id: null,
+            }));
+            return;
+        }
+        res.writeHead(404, { 'Content-Type': 'application/json' });
+        res.end(JSON.stringify({ error: 'Not found', mcp_endpoint: MCP_PATH }));
+    };
+}
+export async function main() {
+    const port = Number(process.env.PORT ?? process.env.MCP_HTTP_PORT ?? 3400);
+    const host = process.env.HOST ?? '0.0.0.0';
+    const httpServer = createHttpServer(createHttpRequestListener());
+    await new Promise((resolve) => httpServer.listen(port, host, resolve));
+    console.error(`Gera Verify MCP server (hosted) listening on http://${host}:${port}${MCP_PATH} — POST JSON-RPC; GET /health`);
+    const shutdown = () => {
+        httpServer.close(() => process.exit(0));
+    };
+    process.on('SIGINT', shutdown);
+    process.on('SIGTERM', shutdown);
+}
+// Auto-run ONLY when invoked directly as the built server (node dist/http.js).
+// Must NOT match bin/http.js — that entry imports and calls main() itself, so a
+// loose /http\.js$/ would double-invoke main() and crash with EADDRINUSE.
+const isMain = typeof process !== 'undefined' &&
+    process.argv[1] != null &&
+    /[\\/]dist[\\/]http\.js$/.test(process.argv[1]);
+if (isMain) {
+    main().catch((err) => {
+        console.error('Fatal:', err);
+        process.exit(1);
+    });
+}

package/dist/server.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Gera Verify MCP Server (stdio) — "Proof-of-Real"
+ *
+ * A Model Context Protocol server any AI agent (Claude, ChatGPT-with-tools,
+ * Cursor, any MCP client) can call to answer "is this real / how trustworthy
+ * is this?" about a UK business, food establishment, or care provider.
+ *
+ * It is seeded with REAL verified data Gera already owns and renders on its
+ * products: the FSA Food Hygiene Rating Scheme (used by GeraEats), the CQC
+ * care-provider registry (used by GeraClinic), public doctor listings, and
+ * Gera's crawled verified-provider set. Everything is offline — the data is a
+ * committed on-disk snapshot, so the server gives the same verified answer the
+ * Gera products give and runs anywhere with no backend, network, or auth.
+ *
+ * Honesty contract: every signal is source-attributed with an as-of date. When
+ * a subject is not in our records, the tools say so plainly ("not in our
+ * verified records") — they NEVER invent a rating or a status. Unavailable
+ * signals are reported as "unknown", not guessed.
+ *
+ * Product: Gera Verify — a Gera Systems product (gera.services).
+ */
+import { McpServer } from '@modelcontextprotocol/sdk/server/mcp.js';
+/**
+ * Register all Gera Verify tools on a McpServer instance. Transport-agnostic:
+ * the same handlers serve stdio (local) and Streamable HTTP / SSE (hosted).
+ */
+export declare function registerTools(server: McpServer): void;
+/**
+ * Construct a fully-configured Gera Verify McpServer (all tools registered).
+ * Each call returns a fresh instance — used by the hosted HTTP transport in
+ * stateless mode (one server per request) and by the stdio server below.
+ */
+export declare function createServer(): McpServer;
+export declare const server: McpServer;
+export declare function main(): Promise<void>;