pqc-migration-mcp

AI 에이전트가 계속 추측하고 있는 양자 내성 마이그레이션 사실을 제공하세요.

MCP를 통한 여섯 가지 도구: 자격 증명 크기, 조각 수, 재조립 창, 39개 실패 분류 체계, 벤치마크 점수. Claude에게 *"우리의 ML-KEM-768 핸드셰이크가 BLE MTU에 들어갈까?"*라고 물어보면 추정하는 대신 답을 계산합니다.

📖 전체 문서, 튜토리얼 및 개념 가이드: https://nickharris808.github.io/pqc-toolkit/

왜 존재하는가

에이전트가 점점 더 PQC 마이그레이션 작업을 수행하고 있으며, 정확히 중요한 것들에 대해 자신 있게 틀리고 있습니다: 자격 증명이 실제로 얼마나 큰지, 몇 개의 조각이 되는지, 동시성에서 안전한 재조립 상한이 존재하는지. 그것들은 판단이 아니라 산술입니다 — 그러니 에이전트에게 산술을 넘겨주세요.

여기서 프로토콜 계층은 의존성이 없습니다. MCP는 줄 단위로 구분된 stdio를 통한 JSON-RPC 2.0이며, 직접 구현할 수 있을 만큼 작아 설치가 간단합니다.

Related MCP server: attestix

설치

pip install git+https://github.com/nickharris808/pqc-migration-mcp

이것은 pqc-sizes와 pqc-mfb를 해당 저장소에서도 가져옵니다. 아직 PyPI에 없으므로 pip install pqc-migration-mcp는 현재 작동하지 않습니다.

30초 퀵스타트

# talk to it directly -- it is line-delimited JSON-RPC on stdio
echo '{"jsonrpc":"2.0","id":1,"method":"tools/list","params":{}}' | pqc-migration-mcp

Claude Desktop

claude_desktop_config.json에 추가:

{
  "mcpServers": {
    "pqc-migration": {
      "command": "pqc-migration-mcp"
    }
  }
}

Claude Desktop을 다시 시작하세요. 여섯 가지 도구가 커넥터 아래에 나타납니다.

도구

실제 출력 예시

전송은 줄 단위로 구분된 JSON입니다 — 각 줄에 하나의 완전한 객체. 요청을 한 줄에 유지하세요. 두 줄에 걸쳐 감싸진 요청은 두 개의 불완전한 요청으로 도착하여 두 개의 -32700 구문 분석 오류로 돌아옵니다.

$ echo '{"jsonrpc":"2.0","id":1,"method":"tools/call","params":{"name":"reassembly_window","arguments":{"largest_legitimate_object":12000,"memory_budget":32768,"concurrency":3}}}' | pqc-migration-mcp

서버는 각 줄에 하나의 JSON 객체로 응답합니다. 예쁘게 출력된 해당 응답의 content 페이로드는 다음과 같습니다:

{
  "budget": 32768,
  "ceiling": 10922,
  "concurrency": 3,
  "explanation": "EMPTY WINDOW: floor 12,000 B > ceiling 10,922 B (short by 1,078 B). No capacity cap is both feasible and safe. Raise the budget to at least 36,000 B, reduce concurrency to at most 2, or choose a smaller credential.",
  "floor": 12000,
  "is_empty": true,
  "max_safe_concurrency": 2,
  "recommended_cap": null
}

에이전트는 판정 그리고 그것을 고칠 숫자를 얻으므로, 문제를 보고하는 대신 구체적인 변경을 제안할 수 있습니다.

이 서버가 알려주지 않는 것

탐지를 노출합니다. 수리를 노출하지 않습니다.

에이전트는 설계가 krack_retransmission에 실패하고 수리되지 않은 설계가 정확히 무엇을 했는지 배울 수 있습니다. 그것을 닫는 메커니즘은 얻을 수 없습니다. 그 경계는 의도적입니다: 수리를 반환하는 MCP 도구는 어떤 사용자가 오후에 전체 폐쇄 집합을 열거할 수 있게 합니다.

모든 39개 계열에 대해 describe_family를 호출하고 다른 모든 도구를 호출한 다음 응답을 연결하고 repair_mechanism, repaired_detail 또는 repaired_held가 출력 어디에도 나타나면 실패하는 테스트가 있습니다.

오류 의미론

도메인 오류 — 알 수 없는 알고리즘, 알 수 없는 계열 — 는 유효한 옵션을 명명하는 메시지와 함께 isError: true인 도구 결과로 돌아오므로 에이전트가 스스로 수정할 수 있습니다. 프로토콜 결함만 JSON-RPC 오류가 됩니다 (-32601 알 수 없는 메서드/도구, -32602 잘못된 인수, -32700 구문 분석 불가능한 줄).

잘못된 줄은 루프를 죽이지 않습니다. 서버는 구문 분석 오류로 응답하고 계속 서비스합니다.

테스트

pip install -e ".[dev]" && pytest      # 57 passed

테스트는 프로토콜, 모든 도구, 해자 경계, 그리고 하위 프로세스로 구동되는 실제 stdio 전송을 다룹니다 — stderr가 비어 있는지 확인하는 검사를 포함합니다. MCP 클라이언트는 stdout을 프로토콜로 읽고 잘못된 경고가 혼란을 주기 때문입니다.

범위

산술, 분류 조회 및 점수. 암호화, 네트워크, 원격 측정 없음. 구현을 검사하지 않습니다. 깨끗한 답변은 구성이 건전하다는 의미이지 코드가 그것을 강제한다는 의미가 아닙니다.

관련

pqc-sizes · pqc-mfb · pqc-guard-action · pqc-dos-embedded

39개 계열을 닫는 것은 폐쇄 코어가 하는 일입니다. 관련 주제는 출원된 가특허 출원으로 보호됩니다. 전체 범위의 상업적 사용에 대해서는 GitHub Discussion 또는 이 저장소의 이슈를 여세요.

정직한 범위

이것이 증명하는 것. 에이전트가 추론하는 산술과 분류가 정확하다는 것: 실제 자격 증명 크기, 실제 조각 수, 실제 창 판정, 실제 실패 분류.

증명하지 않는 것.

• 에이전트가 답을 사용했다는 것이 아님. 이것은 사실을 제공합니다. 그것으로 무엇을 하는지 감독하지 않습니다.

• 코드 검사가 아님. 여기 어떤 도구도 구현을 읽지 않습니다.

• 수리 채널이 아님. 모든 도구는 탐지만 노출합니다. 테스트는 모든 39개 계열에 대해 describe_family를 호출하고 다른 모든 도구를 호출하며 수리 필드가 출력 어디에도 나타나면 실패합니다.

오류. 도메인 문제는 유효한 옵션을 명명하는 메시지와 함께 isError: true인 도구 결과로 돌아오므로 에이전트가 스스로 수정할 수 있습니다. 프로토콜 결함만 JSON-RPC 오류가 됩니다.

PQC 마이그레이션 툴킷

인증된 키 교환을 양자 내성으로 전환하는 팀을 위한 11가지 무료 도구. 찾고 측정합니다. 수리하지 않습니다.

처음이신가요? 종단 간 튜토리얼은 약 10분 안에 하나의 현실적인 마이그레이션을 모두 안내합니다: 크기 -> 창 -> CI 게이트 -> 벤치마크.

서두르시나요? pqc-sizes는 5초 안에 자격 증명이 조각화되는지와 안전한 상한이 존재하는지 알려줍니다. pqc-explorer는 설치 없이 브라우저에서 동일한 작업을 수행합니다.

폐쇄 코어

39개 실패 계열을 닫는 것 — 다운그레이드 바인딩, 재전송 안전 설치, 조각화 기록, 로밍 전방 비밀성, 다중 링크 키 분리, 허용 제어, 그룹 키 바인딩 — 은 별도의 독점 코드베이스입니다. 관련 주제는 출원된 가특허 출원으로 보호됩니다.

그 분할은 주장이 아니라 측정된 것입니다: 복제 노이즈 대조군에서 32개 수리 메커니즘 중 4개만 외부에서 구별 가능하므로, 이러한 탐지기를 게시해도 수리가 공개되지 않습니다.

상업적 라이선스에 대해서는 GitHub Discussion 또는 이 저장소 중 하나에 이슈를 여세요.

라이선스

Apache-2.0. LICENSE 및 CONTRIBUTING.md를 참조하세요.