Scan code for quantum-vulnerable cryptography and get NIST post-quantum migration guidance.
Call this server's tools from your browser. Nothing to install.
Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.
Tool list from our last check. Connect live to refresh it.
Deterministically attach your triage verdicts to their findings and re-sort by exposure (highest first). Never suppresses. Pass the same 'findings' array you triaged plus a 'verdicts' array of { fingerprint, exposureScore, priority, rationale }.
The findings that were triaged.
One verdict per finding, keyed by fingerprint.
This tool isn't marked read-only, so it may change something on the server or in an account you connected.
Deterministically attach your triage verdicts to their findings and re-sort by exposure (highest first). Never suppresses. Pass the same 'findings' array you triaged plus a 'verdicts' array of { fingerprint, exposureScore, priority, rationale }.
| Argument | Type | Description |
|---|---|---|
| findings* | array | The findings that were triaged. |
| verdicts* | array | One verdict per finding, keyed by fingerprint. |
{
"type": "object",
"required": [
"findings",
"verdicts"
],
"properties": {
"findings": {
"type": "array",
"items": {
"type": "object",
"required": [
"ruleId",
"location"
],
"properties": {
"cwe": {
"type": "string",
"description": "e.g. \"CWE-327\"."
},
"hndl": {
"type": "boolean",
"description": "Exposed to harvest-now-decrypt-later."
},
"title": {
"type": "string"
},
"ruleId": {
"type": "string",
"description": "Stable rule id, e.g. \"rsa-keygen\"."
},
"message": {
"type": "string"
},
"category": {
"type": "string"
},
"location": {
"type": "object",
"required": [
"file"
],
"properties": {
"file": {
"type": "string"
},
"line": {
"type": "number"
}
},
"description": "Where the finding is."
},
"severity": {
"type": "string",
"description": "critical | high | medium | low | info."
},
"algorithm": {
"type": "string",
"description": "Classical algorithm family, when applicable."
},
"confidence": {
"type": "string"
},
"remediation": {
"type": "string"
}
},
"description": "A single finding from `scan_path --format json`."
},
"description": "The findings that were triaged."
},
"verdicts": {
"type": "array",
"items": {
"type": "object",
"required": [
"fingerprint",
"exposureScore",
"priority",
"rationale"
],
"properties": {
"priority": {
"enum": [
"now",
"soon",
"later"
],
"type": "string"
},
"rationale": {
"type": "string",
"description": "Why this exposure score / priority."
},
"fingerprint": {
"type": "string",
"description": "Fingerprint of the finding this verdict applies to."
},
"exposureScore": {
"type": "number",
"description": "Real-world exposure (higher = more exposed)."
}
},
"description": "A triage verdict for one finding."
},
"description": "One verdict per finding, keyed by fingerprint."
}
},
"additionalProperties": false
}Deterministically VERIFY a proposed fix before writing it — runs the same patch-policy + verify_fix + blast-radius gates as `qremediate` (offline, no key, no network). Give the finding, the file's current content, and your proposed FULL corrected content; returns approved:true only if the patch is in-policy, clears the finding, adds no new finding, introduces no network/exec sink, and is bounded in size. This does NOT write the file — you write it, only when approved, and never auto-merge.
| Argument | Type | Description |
|---|---|---|
| finding* | object | The scan finding being fixed (needs a string ruleId and location.file). |
| newContent* | string | Your proposed full corrected file content. |
| originalContent* | string | The file's current full content. |
{
"type": "object",
"required": [
"finding",
"originalContent",
"newContent"
],
"properties": {
"finding": {
"type": "object",
"description": "The scan finding being fixed (needs a string ruleId and location.file)."
},
"newContent": {
"type": "string",
"description": "Your proposed full corrected file content."
},
"originalContent": {
"type": "string",
"description": "The file's current full content."
}
},
"additionalProperties": false
}Check whether a package is in quantakrypto's known quantum-vulnerable dependency database (the classical crypto it exposes). Provide 'name' and optional 'ecosystem' (default npm).
| Argument | Type | Description |
|---|---|---|
| name* | string | Package name to look up (e.g. 'node-forge', 'jsonwebtoken'). |
| ecosystem | string | Package ecosystem. Default: npm. |
{
"type": "object",
"required": [
"name"
],
"properties": {
"name": {
"type": "string",
"description": "Package name to look up (e.g. 'node-forge', 'jsonwebtoken')."
},
"ecosystem": {
"type": "string",
"description": "Package ecosystem. Default: npm."
}
},
"additionalProperties": false
}Explain a quantakrypto finding and its post-quantum remediation. Provide a ruleId (e.g. 'forge-rsa-keygen', 'elliptic-ec', 'node-rsa', 'pem-ec-private-key') and/or an algorithm (e.g. 'RSA', 'ECDSA'). The ruleId is resolved against the core detector set, so library and config rules explain correctly.
| Argument | Type | Description |
|---|---|---|
| ruleId | string | The finding's rule id, matching a detector id prefix. |
| algorithm | string | The classical algorithm family involved (e.g. RSA, ECDH, ECDSA). |
{
"type": "object",
"properties": {
"ruleId": {
"type": "string",
"description": "The finding's rule id, matching a detector id prefix."
},
"algorithm": {
"type": "string",
"description": "The classical algorithm family involved (e.g. RSA, ECDH, ECDSA)."
}
},
"additionalProperties": false
}Return before/after code examples for migrating a classical algorithm to a post-quantum / hybrid replacement. Provide an 'algorithm' (RSA, ECDH, ECDSA, …) or a 'ruleId' from a finding.
| Argument | Type | Description |
|---|---|---|
| ruleId | string | A finding's ruleId (resolved to its algorithm). |
| algorithm | string | Classical algorithm family to migrate away from. |
{
"type": "object",
"properties": {
"ruleId": {
"type": "string",
"description": "A finding's ruleId (resolved to its algorithm)."
},
"algorithm": {
"type": "string",
"description": "Classical algorithm family to migrate away from."
}
},
"additionalProperties": false
}List the quantakrypto detector catalog: every detector id and what it looks for.
No arguments.
{
"type": "object",
"properties": {},
"additionalProperties": false
}Produce a deterministic remediation REQUEST bundle (rubric + fix schema + per-finding metadata + fingerprints) for YOU (the host agent) to fix. This tool calls no model and needs no key. For each finding, propose the corrected FULL file content, then VERIFY with verify_fix and keep only fixes that clear the finding. Never touch files with secrets; never auto-merge. Pass 'findings' from scan_path --format json.
| Argument | Type | Description |
|---|---|---|
| findings* | array | Findings from a scan's JSON output. |
{
"type": "object",
"required": [
"findings"
],
"properties": {
"findings": {
"type": "array",
"items": {
"type": "object",
"required": [
"ruleId",
"location"
],
"properties": {
"cwe": {
"type": "string",
"description": "e.g. \"CWE-327\"."
},
"hndl": {
"type": "boolean",
"description": "Exposed to harvest-now-decrypt-later."
},
"title": {
"type": "string"
},
"ruleId": {
"type": "string",
"description": "Stable rule id, e.g. \"rsa-keygen\"."
},
"message": {
"type": "string"
},
"category": {
"type": "string"
},
"location": {
"type": "object",
"required": [
"file"
],
"properties": {
"file": {
"type": "string"
},
"line": {
"type": "number"
}
},
"description": "Where the finding is."
},
"severity": {
"type": "string",
"description": "critical | high | medium | low | info."
},
"algorithm": {
"type": "string",
"description": "Classical algorithm family, when applicable."
},
"confidence": {
"type": "string"
},
"remediation": {
"type": "string"
}
},
"description": "A single finding from `scan_path --format json`."
},
"description": "Findings from a scan's JSON output."
}
},
"additionalProperties": false
}Compute the readiness-score and HNDL change between two finding sets (e.g. before and after a migration). Pass 'before' and 'after' as arrays of findings from scan_path --format json.
| Argument | Type | Description |
|---|---|---|
| after* | array | Findings after the change. |
| before* | array | Findings before the change (from a scan's JSON findings). |
{
"type": "object",
"required": [
"before",
"after"
],
"properties": {
"after": {
"type": "array",
"items": {
"type": "object",
"required": [
"ruleId",
"location"
],
"properties": {
"cwe": {
"type": "string",
"description": "e.g. \"CWE-327\"."
},
"hndl": {
"type": "boolean",
"description": "Exposed to harvest-now-decrypt-later."
},
"title": {
"type": "string"
},
"ruleId": {
"type": "string",
"description": "Stable rule id, e.g. \"rsa-keygen\"."
},
"message": {
"type": "string"
},
"category": {
"type": "string"
},
"location": {
"type": "object",
"required": [
"file"
],
"properties": {
"file": {
"type": "string"
},
"line": {
"type": "number"
}
},
"description": "Where the finding is."
},
"severity": {
"type": "string",
"description": "critical | high | medium | low | info."
},
"algorithm": {
"type": "string",
"description": "Classical algorithm family, when applicable."
},
"confidence": {
"type": "string"
},
"remediation": {
"type": "string"
}
},
"description": "A single finding from `scan_path --format json`."
},
"description": "Findings after the change."
},
"before": {
"type": "array",
"items": {
"type": "object",
"required": [
"ruleId",
"location"
],
"properties": {
"cwe": {
"type": "string",
"description": "e.g. \"CWE-327\"."
},
"hndl": {
"type": "boolean",
"description": "Exposed to harvest-now-decrypt-later."
},
"title": {
"type": "string"
},
"ruleId": {
"type": "string",
"description": "Stable rule id, e.g. \"rsa-keygen\"."
},
"message": {
"type": "string"
},
"category": {
"type": "string"
},
"location": {
"type": "object",
"required": [
"file"
],
"properties": {
"file": {
"type": "string"
},
"line": {
"type": "number"
}
},
"description": "Where the finding is."
},
"severity": {
"type": "string",
"description": "critical | high | medium | low | info."
},
"algorithm": {
"type": "string",
"description": "Classical algorithm family, when applicable."
},
"confidence": {
"type": "string"
},
"remediation": {
"type": "string"
}
},
"description": "A single finding from `scan_path --format json`."
},
"description": "Findings before the change (from a scan's JSON findings)."
}
},
"additionalProperties": false
}Recommend a post-quantum / hybrid migration. Provide an 'algorithm' (e.g. RSA, ECDH, ECDSA) or free-text 'context' describing the usage. Set 'tier' to 'category-5' for CNSA 2.0 / national-security systems.
| Argument | Type | Description |
|---|---|---|
| tier | string | Security tier: 'category-3' (default, commercial — ML-KEM-768 / ML-DSA-65) or 'category-5' (CNSA 2.0 / NSS, long-lived secrets — ML-KEM-1024 / ML-DSA-87). |
| context | string | Free-text description of the cryptographic usage (used when no algorithm is given). |
| algorithm | string | Classical algorithm family to migrate away from. |
{
"type": "object",
"properties": {
"tier": {
"enum": [
"category-3",
"category-5"
],
"type": "string",
"description": "Security tier: 'category-3' (default, commercial — ML-KEM-768 / ML-DSA-65) or 'category-5' (CNSA 2.0 / NSS, long-lived secrets — ML-KEM-1024 / ML-DSA-87)."
},
"context": {
"type": "string",
"description": "Free-text description of the cryptographic usage (used when no algorithm is given)."
},
"algorithm": {
"type": "string",
"description": "Classical algorithm family to migrate away from."
}
},
"additionalProperties": false
}Produce a deterministic triage REQUEST bundle (rubric + verdict schema + per-finding metadata) for YOU (the host agent) to reason over. This tool does NOT call any model and needs no API key. Assess each finding's real-world exposure, then call apply_triage with your verdicts. Pass 'findings' as an array from scan_path --format json.
| Argument | Type | Description |
|---|---|---|
| findings* | array | Findings from a scan's JSON output. |
{
"type": "object",
"required": [
"findings"
],
"properties": {
"findings": {
"type": "array",
"items": {
"type": "object",
"required": [
"ruleId",
"location"
],
"properties": {
"cwe": {
"type": "string",
"description": "e.g. \"CWE-327\"."
},
"hndl": {
"type": "boolean",
"description": "Exposed to harvest-now-decrypt-later."
},
"title": {
"type": "string"
},
"ruleId": {
"type": "string",
"description": "Stable rule id, e.g. \"rsa-keygen\"."
},
"message": {
"type": "string"
},
"category": {
"type": "string"
},
"location": {
"type": "object",
"required": [
"file"
],
"properties": {
"file": {
"type": "string"
},
"line": {
"type": "number"
}
},
"description": "Where the finding is."
},
"severity": {
"type": "string",
"description": "critical | high | medium | low | info."
},
"algorithm": {
"type": "string",
"description": "Classical algorithm family, when applicable."
},
"confidence": {
"type": "string"
},
"remediation": {
"type": "string"
}
},
"description": "A single finding from `scan_path --format json`."
},
"description": "Findings from a scan's JSON output."
}
},
"additionalProperties": false
}Run the quantakrypto detectors over a code snippet (NOT the filesystem) and report any classical crypto that remains. Use this to confirm an edit actually removed the quantum-vulnerable usage. Provide 'code' plus a 'language' or 'filename'.
| Argument | Type | Description |
|---|---|---|
| code* | string | The source code to check. |
| filename | string | Optional filename; its extension selects the detectors (overrides 'language'). |
| language | string | Language of the code (js, ts, python, go, java, csharp, rust, ruby, c, …). |
{
"type": "object",
"required": [
"code"
],
"properties": {
"code": {
"type": "string",
"description": "The source code to check."
},
"filename": {
"type": "string",
"description": "Optional filename; its extension selects the detectors (overrides 'language')."
},
"language": {
"type": "string",
"description": "Language of the code (js, ts, python, go, java, csharp, rust, ruby, c, …)."
}
},
"additionalProperties": false
}