korean-law-mcp 4.7.1 → 4.7.2

package/build/server/sse-server.d.ts

@@ -0,0 +1,5 @@
+/**
+ * Streamable HTTP 서버 - 리모트 배포용 (MCP 2025-03-26 스펙 준수)
+ */
+import type { Server } from "@modelcontextprotocol/sdk/server/index.js";
+export declare function startSSEServer(server: Server, port: number): Promise<void>;

package/build/server/sse-server.js

@@ -0,0 +1,232 @@
+/**
+ * Streamable HTTP 서버 - 리모트 배포용 (MCP 2025-03-26 스펙 준수)
+ */
+import express from "express";
+import { randomUUID } from "node:crypto";
+import { StreamableHTTPServerTransport } from "@modelcontextprotocol/sdk/server/streamableHttp.js";
+import { InMemoryEventStore } from "@modelcontextprotocol/sdk/examples/shared/inMemoryEventStore.js";
+import { isInitializeRequest } from "@modelcontextprotocol/sdk/types.js";
+import { sessionStore, setSessionApiKey, deleteSession } from "../lib/session-state.js";
+import { VERSION } from "../version.js";
+export async function startSSEServer(server, port) {
+    const app = express();
+    const transports = {};
+    // JSON 파싱 미들웨어 (크기 제한 명시)
+    app.use(express.json({ limit: "100kb" }));
+    // 유휴 세션 정리 (30분)
+    const SESSION_IDLE_TIMEOUT = 30 * 60 * 1000;
+    const MAX_SESSIONS = 100;
+    setInterval(() => {
+        const now = Date.now();
+        for (const sid of Object.keys(transports)) {
+            const session = transports[sid];
+            if (session.lastAccess && now - session.lastAccess > SESSION_IDLE_TIMEOUT) {
+                try {
+                    session.transport.close();
+                }
+                catch { /* ignore */ }
+                delete transports[sid];
+                deleteSession(sid);
+            }
+        }
+    }, 5 * 60 * 1000).unref();
+    // CORS 및 보안 헤더 설정
+    const corsOrigin = process.env.CORS_ORIGIN || "*";
+    app.use((req, res, next) => {
+        res.header("Access-Control-Allow-Origin", corsOrigin);
+        res.header("Access-Control-Allow-Methods", "GET, POST, DELETE, OPTIONS, HEAD");
+        res.header("Access-Control-Allow-Headers", "Content-Type, Accept, Authorization, Mcp-Protocol-Version, mcp-protocol-version, Mcp-Session-Id, mcp-session-id, Last-Event-ID, last-event-id, Traceparent, Tracestate");
+        res.header("Access-Control-Expose-Headers", "Mcp-Session-Id, Content-Type, Mcp-Protocol-Version, Traceparent, Tracestate");
+        res.header("Access-Control-Max-Age", "86400");
+        // Security headers (http-server.ts와 동일)
+        res.header("X-Content-Type-Options", "nosniff");
+        res.header("X-Frame-Options", "DENY");
+        res.header("Referrer-Policy", "strict-origin-when-cross-origin");
+        res.header("Mcp-Protocol-Version", "2025-03-26");
+        if (req.method === "OPTIONS") {
+            return res.sendStatus(200);
+        }
+        next();
+    });
+    // 헬스체크 엔드포인트
+    app.get("/", (req, res) => {
+        res.json({
+            name: "Korean Law MCP Server",
+            version: VERSION,
+            status: "running",
+            protocol: "streamable-http",
+            endpoints: {
+                mcp: "/mcp",
+                health: "/health"
+            }
+        });
+    });
+    app.get("/health", (req, res) => {
+        res.json({ status: "ok", timestamp: new Date().toISOString() });
+    });
+    // MCP POST 엔드포인트 (초기화 및 요청 처리)
+    app.post("/mcp", async (req, res) => {
+        const sessionId = req.headers["mcp-session-id"];
+        // API 키 추출 (http-server.ts와 동일 패턴)
+        const apiKeyFromHeader = req.headers["apikey"] ||
+            req.headers["law_oc"] ||
+            req.headers["law-oc"] ||
+            req.headers["LAW_OC"] ||
+            req.headers["x-api-key"] ||
+            req.headers["authorization"]?.replace(/^Bearer\s+/i, "") ||
+            req.headers["x-law-oc"];
+        if (sessionId) {
+            console.error(`Received MCP request for session: ${sessionId.slice(0, 8)}...`);
+        }
+        else {
+            console.error("New MCP request (no session ID)");
+        }
+        try {
+            let transport;
+            if (sessionId && transports[sessionId]) {
+                // 기존 세션 재사용 + 접근 시각 갱신
+                ;
+                transports[sessionId].lastAccess = Date.now();
+                transport = transports[sessionId].transport;
+                // API 키 업데이트 (헤더에서 제공된 경우)
+                if (apiKeyFromHeader) {
+                    setSessionApiKey(sessionId, apiKeyFromHeader);
+                }
+                // AsyncLocalStorage로 세션 ID 격리 (동시 요청 안전)
+                await sessionStore.run(sessionId, async () => {
+                    await transport.handleRequest(req, res, req.body);
+                });
+                return;
+            }
+            else if (!sessionId && isInitializeRequest(req.body)) {
+                // 새 세션 초기화
+                // 세션 수 제한 — transport 생성 전에 체크하여 리소스 누수 방지
+                if (Object.keys(transports).length >= MAX_SESSIONS) {
+                    res.status(503).json({
+                        jsonrpc: "2.0",
+                        error: { code: -32000, message: `Max sessions (${MAX_SESSIONS}) reached. Try again later.` },
+                        id: null,
+                    });
+                    return;
+                }
+                const eventStore = new InMemoryEventStore();
+                transport = new StreamableHTTPServerTransport({
+                    sessionIdGenerator: () => randomUUID(),
+                    eventStore,
+                    onsessioninitialized: (newSessionId) => {
+                        transports[newSessionId] = { transport, lastAccess: Date.now() };
+                        if (apiKeyFromHeader) {
+                            setSessionApiKey(newSessionId, apiKeyFromHeader);
+                        }
+                    }
+                });
+                // 세션 종료 시 정리
+                transport.onclose = () => {
+                    const sid = transport.sessionId;
+                    if (sid && transports[sid]) {
+                        console.error(`Transport closed for session ${sid.slice(0, 8)}...`);
+                        delete transports[sid];
+                        deleteSession(sid);
+                    }
+                };
+                // 서버 연결
+                await server.connect(transport);
+                await transport.handleRequest(req, res, req.body);
+                return;
+            }
+            else {
+                // 잘못된 요청
+                res.status(400).json({
+                    jsonrpc: "2.0",
+                    error: {
+                        code: -32000,
+                        message: "Invalid request: missing session ID or not an initialization request"
+                    },
+                    id: null
+                });
+                return;
+            }
+        }
+        catch (error) {
+            console.error("Error handling MCP POST request:", error);
+            if (!res.headersSent) {
+                res.status(500).json({
+                    jsonrpc: "2.0",
+                    error: {
+                        code: -32603,
+                        message: "Internal server error"
+                    },
+                    id: null
+                });
+            }
+        }
+    });
+    // MCP GET 엔드포인트 (SSE 스트림)
+    app.get("/mcp", async (req, res) => {
+        const sessionId = req.headers["mcp-session-id"];
+        if (!sessionId || !transports[sessionId]) {
+            res.status(400).send("Invalid or missing session ID");
+            return;
+        }
+        const lastEventId = req.headers["last-event-id"];
+        if (lastEventId) {
+            console.error(`Client reconnecting with Last-Event-ID: ${lastEventId}`);
+        }
+        else {
+            console.error(`Establishing SSE stream for session ${sessionId.slice(0, 8)}...`);
+        }
+        try {
+            const transport = transports[sessionId].transport;
+            await transport.handleRequest(req, res);
+        }
+        catch (error) {
+            console.error("[GET /mcp] Error:", error);
+            if (!res.headersSent) {
+                res.status(500).send("Internal server error");
+            }
+        }
+    });
+    // MCP DELETE 엔드포인트 (세션 종료)
+    app.delete("/mcp", async (req, res) => {
+        const sessionId = req.headers["mcp-session-id"];
+        if (!sessionId || !transports[sessionId]) {
+            res.status(400).send("Invalid or missing session ID");
+            return;
+        }
+        console.error(`Session termination request for ${sessionId.slice(0, 8)}...`);
+        try {
+            const transport = transports[sessionId].transport;
+            await transport.handleRequest(req, res);
+            delete transports[sessionId];
+            deleteSession(sessionId);
+            console.error(`Session removed: ${sessionId.slice(0, 8)}...`);
+        }
+        catch (error) {
+            console.error("Error handling session termination:", error);
+            if (!res.headersSent) {
+                res.status(500).send("Error processing session termination");
+            }
+        }
+    });
+    // 서버 시작
+    app.listen(port, "0.0.0.0", () => {
+        console.error(`✓ Korean Law MCP server (Streamable HTTP) listening on port ${port}`);
+        console.error(`✓ MCP endpoint: http://0.0.0.0:${port}/mcp`);
+        console.error(`✓ Health check: http://0.0.0.0:${port}/health`);
+    });
+    // 종료 처리
+    process.on("SIGINT", async () => {
+        console.error("Shutting down server...");
+        for (const sessionId in transports) {
+            try {
+                await transports[sessionId].transport.close();
+                delete transports[sessionId];
+                deleteSession(sessionId);
+            }
+            catch (error) {
+                console.error(`Error closing transport ${sessionId}:`, error);
+            }
+        }
+        process.exit(0);
+    });
+}

package/build/tools/verify-citations.d.ts

@@ -22,6 +22,8 @@ export declare const VerifyCitationsSchema: z.ZodObject<{
     apiKey: z.ZodOptional<z.ZodString>;
 }, z.core.$strip>;
 export type VerifyCitationsInput = z.infer<typeof VerifyCitationsSchema>;
+export declare function lawNameCandidates(lawName: string): string[];
+export declare function looseMatchLawName(target: string, official: string): boolean;
 export declare function verifyCitations(apiClient: LawApiClient, input: VerifyCitationsInput): Promise<{
     content: Array<{
         type: string;

package/build/tools/verify-citations.js

@@ -33,6 +33,30 @@ const ARTICLE_REGEX = /제\s*(\d+)\s*조(?:\s*의\s*(\d+))?(?:\s*제\s*(\d+)\s*
 const LAW_NAME_REGEX = /([가-힣][가-힣·ㆍ\s]{0,30}?(?:법률|법|시행령|시행규칙|규칙|규정|조례))$/;
 // 법령명 앞에 붙는 한국어 접속사·부사·수식어 제거 — "또한 상법" → "상법"
 const LAW_NAME_STOPWORDS = /^(또한|그리고|하며|따라서|따라|위해|위하여|의한|의하여|따른|해당|관련|이에|아울러|본|이|저|그|또|및|또는|혹은|한편|더불어|이어|이는|즉|결국|결과적으로|실제로|특히)\s+/u;
+// 캡처된 법령명 앞에 내용어 수식어가 남을 수 있음(예: "절도죄는 형법", "이혼시 재산분할은 민법").
+// 앞 어절을 하나씩 떼며 검색 후보를 만든다. 전체(full)를 먼저 두어 다어절 법령명
+// ("전자상거래 등에서의 소비자보호에 관한 법률")은 그대로 매칭되고, 수식어만 붙은 경우는
+// 뒤쪽 후보에서 실제 법령명("형법"·"민법")이 매칭된다. 붙어쓴 법령명은 어절 분리되지 않아 보존.
+export function lawNameCandidates(lawName) {
+    const tokens = lawName.split(/\s+/).filter(Boolean);
+    const candidates = [];
+    for (let i = 0; i < tokens.length; i++) {
+        const cand = tokens.slice(i).join(" ");
+        if (cand.length >= 2)
+            candidates.push(cand);
+    }
+    return candidates.length > 0 ? candidates : [lawName];
+}
+// 후보 법령명과 법제처 공식 법령명의 느슨한 일치 — 공백 무시 + 접두/약칭 허용.
+// findLaws가 관련도 정렬은 해도 매칭이 전혀 다른 법령일 수 있어 최종 방어선으로 사용.
+export function looseMatchLawName(target, official) {
+    const normalize = (s) => s.replace(/\s+/g, "");
+    const targetNorm = normalize(target);
+    const officialNorm = normalize(official);
+    return officialNorm === targetNorm
+        || officialNorm.startsWith(targetNorm)
+        || targetNorm.startsWith(officialNorm.replace(/(법률|법)$/, "법"));
+}
 // 인용 바로 뒤 "(제목)"에서 조문 제목 claim 추출 — 내용검증용.
 // 개정이력·날짜·항호 참조 괄호는 조문 제목이 아니므로 제외.
 function extractClaimTitle(after) {
@@ -114,23 +138,27 @@ async function verifyOne(apiClient, cite, apiKey) {
         return `⚠ ${inputLabel} — 법령명 추출 실패 (앞 문맥에 법령명 명시 필요)`;
     }
     // 1단계: 법령 검색 — findLaws가 관련도 정렬까지 처리 (민법→난민법 오매칭 방지)
+    // 앞 수식어가 남은 캡처("절도죄는 형법")도 후보를 순차 축약하며 실제 법령명을 찾는다.
     let chosen;
+    let fallback; // 어떤 후보도 looseMatch 실패 시 ⚠ 메시지용 (전체 캡처 기준)
     try {
-        // searchDisplay=100: "상법"처럼 짧은 법령명이 부분매칭에 밀려 기본 20건에 안 들어올 때 대비
-        const results = await findLaws(apiClient, cite.lawName, apiKey, 5, 100);
-        if (results.length === 0) {
+        for (const cand of lawNameCandidates(cite.lawName)) {
+            // searchDisplay=100: "상법"처럼 짧은 법령명이 부분매칭에 밀려 기본 20건에 안 들어올 때 대비
+            const results = await findLaws(apiClient, cand, apiKey, 5, 100);
+            if (results.length === 0)
+                continue;
+            if (!fallback)
+                fallback = results[0];
+            if (looseMatchLawName(cand, results[0].lawName)) {
+                chosen = results[0];
+                break;
+            }
+        }
+        if (!fallback) {
             return `✗ ${inputLabel} — [NOT_FOUND] 법제처 DB에 해당 법령 없음 (법령명 오탈자 또는 존재하지 않는 법령)`;
         }
-        chosen = results[0];
-        // 정확 일치 여부 체크 — findLaws가 정렬은 해도 매칭이 전혀 다른 법령일 수 있음
-        const normalize = (s) => s.replace(/\s+/g, "");
-        const targetNorm = normalize(cite.lawName);
-        const officialNorm = normalize(chosen.lawName);
-        const looseMatch = officialNorm === targetNorm
-            || officialNorm.startsWith(targetNorm)
-            || targetNorm.startsWith(officialNorm.replace(/(법률|법)$/, "법"));
-        if (!looseMatch) {
-            return `⚠ ${inputLabel} — 법제처 검색은 '${chosen.lawName}'(으)로만 매칭됨. 법령명 정확성 재확인 필요`;
+        if (!chosen) {
+            return `⚠ ${inputLabel} — 법제처 검색은 '${fallback.lawName}'(으)로만 매칭됨. 법령명 정확성 재확인 필요`;
         }
     }
     catch (e) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "korean-law-mcp",
-  "version": "4.7.1",
+  "version": "4.7.2",
   "description": "법제처 42개 API → 9개 MCP 도구. 법령·판례·조례·조약 + 다단계 리서치(legal_research, 8 task) + 정밀분석(legal_analysis: 인용검증·판례생사·행위시법·영향그래프) + 시점 비교(time_travel) + 상황별 5단계 안내(action_plan) + 국세청 해석례(nts)",
   "type": "module",
   "main": "build/index.js",
@@ -72,6 +72,9 @@
     "typescript": "^5.9.3",
     "vitest": "^4.1.9"
   },
+  "overrides": {
+    "hono": "^4.12.29"
+  },
   "files": [
     "build",
     "README.md",