thoughtproof-mcp · Nerlo

thoughtproof-mcp

Name: thoughtproof-mcp
Author: ThoughtProof

Version: v0.4.0-dev
By: ThoughtProof <raul@thoughtproof.ai>
License: MIT
Last scan: Scanned Aug 20, 2026, 5:44 PM UTC

MCP Server

Flagged39composite

Local MCP server for pre-execution decision verification. DQL for spend, Sentinel for irreversible actions; execute only on ALLOW.

Source:: github.com/ThoughtProof/thoughtproof-mcp
Version:: 0.4.0-dev
License:: MIT
Author:: ThoughtProof <raul@thoughtproof.ai>
Provenance:: Publisher-attested (provenance, not a security rating)
Registry namespace:: io.github.ThoughtProof

The publisher performed an authenticated act of publication — proving control of a namespace in the official MCP registry, or appearing in a first-party catalogue an operator curates. That establishes WHO published it. It is not a security finding, and attested artifacts carry Flagged verdicts too.

github: https://github.com/ThoughtProof/thoughtproof-mcp, 132 findings

Install

Choose your runtime: the CLI writes the mcpServers config entry for that target.

nerlo install --target claude-code -- thoughtproof-mcp

Install respects the composite badge: Clean proceeds, Caution prompts for confirmation, and Flagged is refused. Write operations require an API token.

How scores work Full audit report

Per-scanner reports

11 scanners

Your view:

7 of 11 scanners examined this package. The rest do not apply to it — language, ecosystem and packaging decide which analyzers can say anything, and a scanner that cannot examine an artifact reports nothing rather than passing it.

Scanners that examined this package (7)

agentshield
v1.4.0
Clean100
- No findings
0 findings · 0.7s
cisco-skill-scanner
v2.0.11
Clean96
- 11Info
11 findings · 7.6s

AI review of these findings

Findings in files this artifact installs stand as reported; a model re-read the rest and said which ones it believes are false positives. This is a second opinion published beside the evidence, not a correction to it: the per-scanner reports above are unchanged, every dismissed finding is still listed there at its original severity, and the score and the Flagged badge are computed from those raw severities alone. Nothing below moved them.

Upheld as real: 89
Dismissed as false positives: 10
Not reviewed: 5

Out of 104 findings across every scanner that examined this package.

Not reviewed is not the same as clean. Those 5 findings stand exactly as their scanners reported them, at full severity, as they would have without this review.

Why those were dismissed

Two keys had to turn. The model had to name a reason from a fixed list of six, and a deterministic check of ours — over which files this artifact actually installs — had to independently agree. Anything it could not corroborate is in “not reviewed” above, at full severity.

9 Documentation or example — The match is in documentation or sample code, confirmed by our own check to be outside the installed artifact.
Rules: opt.nerlo-rules.nerlo-js-secret-to-network-egress, DATA_EXFIL_JS_NETWORK, opt.nerlo-rules.nerlo-hardcoded-external-egress · Files: /repo/demo/sentinel-probe.mjs, /repo/demo/stake-sweep.mjs, /repo/demo/variance-probe.mjs · reported by nerlo-behavioral, cisco-skill-scanner
1 Test or fixture file — The match is in a test or fixture. Our own check confirmed the file is not part of what gets installed.
Rules: AAK-ANTHROPIC-SDK-001 · Files: test/index.test.js · reported by agent-audit-kit

Upheld — the review declined to dismiss these

The model could have called any of these a false positive and did not.

3 DATA_EXFIL_JS_NETWORK
Files: /repo/src/index.ts, /repo/src/verify-client.ts · reported by cisco-skill-scanner
3 opt.nerlo-rules.nerlo-js-secret-to-network-egress
Files: /repo/src/index.ts, /repo/src/verify-client.ts · reported by nerlo-behavioral
2 GHSA-26pp-8wgv-hjvm
Files: /repo/package-lock.json, package-lock.json · reported by osv-scanner, trivy
2 GHSA-frvp-7c67-39w9
Files: package-lock.json, /repo/package-lock.json · reported by trivy, osv-scanner
1 AAK-ANTHROPIC-SDK-001
Files: src/index.ts · reported by agent-audit-kit
1 AAK-MCP-018
Files: src/index.ts · reported by agent-audit-kit
1

Not reviewed

5 The model called these false positives and our own check did not agree, so the dismissal was refused.
Rules: AAK-SEC-MD-001, SOCIAL_ENG_VAGUE_DESCRIPTION, MANIFEST_MISSING_LICENSE · Files: SECURITY.md, /repo/SKILL.md, /repo/benchmark/SKILL.md · reported by agent-audit-kit, cisco-skill-scanner

What the review concluded

Artifact has high-severity vulnerabilities and credential access risks.

The artifact contains multiple high-severity vulnerabilities in its dependencies, as indicated by findings in `package-lock.json`. It also exhibits potential credential access in `glama.json`, `src/dql-client.ts`, and `src/index.ts`. Furthermore, the artifact's code in `src/index.ts` and `src/verify-client.ts` shows patterns consistent with network egress of secrets.

Concern level assessed by the review: High. This is the review's scale, not the registry badge.

What to look at

AAK-MCP-CARD-003 · glama.json · high · reported by agent-audit-kit
AAK-SECRET-004 · src/dql-client.ts · high · reported by agent-audit-kit
AAK-ANTHROPIC-SDK-001 · src/index.ts · high · reported by agent-audit-kit
opt.nerlo-rules.nerlo-js-secret-to-network-egress · /repo/src/index.ts · high · reported by nerlo-behavioral
opt.nerlo-rules.nerlo-js-secret-to-network-egress · /repo/src/verify-client.ts · high · reported by nerlo-behavioral
opt.nerlo-rules.nerlo-js-secret-to-network-egress · /repo/src/verify-client.ts · high · reported by nerlo-behavioral
GHSA-4c8g-83qw-93j6 · /repo/package-lock.json · high · reported by osv-scanner
GHSA-7p8r-x3mc-p8w7 · · high · reported by osv-scanner

Reviewed by gemini-2.5-flash. The model sees the findings, not your code, and cannot change a score.

Scan history

1 scan on record. Every scan's full results are retained immutably for 24 months.

Completed	Composite	Change	Scanners	Status
Aug 20, 2026	Flagged39	—	agentshield: completecisco-skill-scanner: completeagent-audit-kit: completenerlo-behavioral: completenerlo-install-instruction: completecapslock ·n/a: not applicablenerlo-multi-source ·n/a: not applicabletrivy: completeosv-scanner: completetrivy_image ·n/a: not applicablegovulncheck ·n/a: not applicable	completed

Per-scanner history:

AI review of these findings

Upheld as real: 89
Dismissed as false positives: 10
Not reviewed: 5

Out of 104 findings across every scanner that examined this package.

Not reviewed is not the same as clean. Those 5 findings stand exactly as their scanners reported them, at full severity, as they would have without this review.

Why those were dismissed

9 Documentation or example — The match is in documentation or sample code, confirmed by our own check to be outside the installed artifact.
Rules: opt.nerlo-rules.nerlo-js-secret-to-network-egress, DATA_EXFIL_JS_NETWORK, opt.nerlo-rules.nerlo-hardcoded-external-egress · Files: /repo/demo/sentinel-probe.mjs, /repo/demo/stake-sweep.mjs, /repo/demo/variance-probe.mjs · reported by nerlo-behavioral, cisco-skill-scanner
1 Test or fixture file — The match is in a test or fixture. Our own check confirmed the file is not part of what gets installed.
Rules: AAK-ANTHROPIC-SDK-001 · Files: test/index.test.js · reported by agent-audit-kit

Upheld — the review declined to dismiss these

The model could have called any of these a false positive and did not.

3 DATA_EXFIL_JS_NETWORK
Files: /repo/src/index.ts, /repo/src/verify-client.ts · reported by cisco-skill-scanner
3 opt.nerlo-rules.nerlo-js-secret-to-network-egress
Files: /repo/src/index.ts, /repo/src/verify-client.ts · reported by nerlo-behavioral
2 GHSA-26pp-8wgv-hjvm
Files: /repo/package-lock.json, package-lock.json · reported by osv-scanner, trivy
2 GHSA-frvp-7c67-39w9
Files: package-lock.json, /repo/package-lock.json · reported by trivy, osv-scanner
1 AAK-ANTHROPIC-SDK-001
Files: src/index.ts · reported by agent-audit-kit
1 AAK-MCP-018
Files: src/index.ts · reported by agent-audit-kit
1

Not reviewed

5 The model called these false positives and our own check did not agree, so the dismissal was refused.
Rules: AAK-SEC-MD-001, SOCIAL_ENG_VAGUE_DESCRIPTION, MANIFEST_MISSING_LICENSE · Files: SECURITY.md, /repo/SKILL.md, /repo/benchmark/SKILL.md · reported by agent-audit-kit, cisco-skill-scanner

What the review concluded

Artifact has high-severity vulnerabilities and credential access risks.

Concern level assessed by the review: High. This is the review's scale, not the registry badge.

What to look at

AAK-MCP-CARD-003 · glama.json · high · reported by agent-audit-kit
AAK-SECRET-004 · src/dql-client.ts · high · reported by agent-audit-kit
AAK-ANTHROPIC-SDK-001 · src/index.ts · high · reported by agent-audit-kit
opt.nerlo-rules.nerlo-js-secret-to-network-egress · /repo/src/index.ts · high · reported by nerlo-behavioral
opt.nerlo-rules.nerlo-js-secret-to-network-egress · /repo/src/verify-client.ts · high · reported by nerlo-behavioral
opt.nerlo-rules.nerlo-js-secret-to-network-egress · /repo/src/verify-client.ts · high · reported by nerlo-behavioral
GHSA-4c8g-83qw-93j6 · /repo/package-lock.json · high · reported by osv-scanner
GHSA-7p8r-x3mc-p8w7 · · high · reported by osv-scanner

Reviewed by gemini-2.5-flash. The model sees the findings, not your code, and cannot change a score.

thoughtproof-mcp

Install

Per-scanner reports

Scanners that examined this package (7)

agentshield

cisco-skill-scanner

agent-audit-kit

nerlo-skill-scanner (behavioral)

nerlo-skill-scanner (install-doc)

trivy

osv-scanner

Scanners that did not run on this package (4)

capslock

nerlo-multi-source

trivy (image)

govulncheck

AI review of these findings

Why those were dismissed

Upheld — the review declined to dismiss these

Not reviewed

What the review concluded

What to look at

Scan history

AI review of these findings

Why those were dismissed

Upheld — the review declined to dismiss these

Not reviewed

What the review concluded

What to look at

Install

Per-scanner reports

Scanners that examined this package (7)

agentshield

cisco-skill-scanner

agent-audit-kit

nerlo-skill-scanner (behavioral)

nerlo-skill-scanner (install-doc)

trivy

osv-scanner

Scanners that did not run on this package (4)

capslock

nerlo-multi-source

trivy (image)

govulncheck

Composite scoreOne view among many — the per-scanner reports above are primaryFlagged39

AI review of these findings

Why those were dismissed

Upheld — the review declined to dismiss these

Not reviewed

What the review concluded

What to look at

Scan history

AI review of these findings

Why those were dismissed

Upheld — the review declined to dismiss these

Not reviewed

What the review concluded

What to look at