@toremlabs/proof-mcp

MCPcommunity

v1.0.0io.github.ToremLabsUnknownUpdated 2mo agonpm GitHub

Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.

Works in

ClaudeCursorCopilotGemini

Inferred from the transports this listing declares (stdio). A client not listed here hasn’t been ruled out — it just isn’t something Forge can confirm.

Automatically indexed from public sources. Not yet verified by the developer on Forge.Claim this listing →

2mo agoLast update

Package

Authorio.github.ToremLabs

LicenseUnknown

Version1.0.0

Sourcenpm+mcp-registry

npm@toremlabs/proof-mcp

GitHubToremLabs/proof-mcp

SBOMCycloneDX 1.6 ↓

Trust Status

B

60/100Good

✓Listed in Forge index+10/10

—Publisher identity verified+0/20

→ Publisher: run `forge publish` from the package repo to claim ownership

—Ed25519 publish signature+0/5

→ Included automatically when the publisher runs `forge publish`

—Domain verification+0/5

→ Publisher: host /.well-known/forge.json on the package homepage with { "publisher": "<github-login>" }

—npm Trusted Publishing (Sigstore)+0/5

→ Publish from GitHub Actions with --provenance so the attestation binds this package to this repo

—npm maintainer match+0/5

→ Earned once your identity is verified above and that login is an npm maintainer of this package

✓CVE scan · clean+30/30

✓Static analysis · clean+20/20

Paste into Claude Code, Cursor, or any AI assistant to fix all gaps

StatusCommunity-indexed

PublisherUnverified

SignatureUnsigned

Domain—

Provenance—

Dependencies✓ 60 resolved+ · none vulnerable

Tool surface40 tools · 5 privileged

Security scan✓ Cleanv1.2.0 · 1mo agoHow well does this scan work?

EvalsNone

IndexedAug 11, 2026

Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts.

Tools

40 tools · 5 privileged

Statically extracted from the published packagev1.2.0 · 1mo ago

Read out of the source npm actually ships, at scan time. The package was never executed. Tools registered dynamically at runtime, or hidden inside bundled or minified code, can be missed — so this is a floor on the tool surface, not a complete census of it.

Filter toolsPrivileged only

run_operatorNo description published

This tool published no description. Forge does not invent one.

run_operator_and_commitNo description published

This tool published no description. Forge does not invent one.

expand_conceptNo description published

This tool published no description. Forge does not invent one.

get_runNo description published

This tool published no description. Forge does not invent one.

list_projectsNo description published

This tool published no description. Forge does not invent one.

get_project_graphNo description published

This tool published no description. Forge does not invent one.

list_sheetsNo description published

This tool published no description. Forge does not invent one.

get_subtreeNo description published

This tool published no description. Forge does not invent one.

get_conceptNo description published

This tool published no description. Forge does not invent one.

search_conceptsNo description published

This tool published no description. Forge does not invent one.

get_workspace_summaryNo description published

This tool published no description. Forge does not invent one.

list_recent_decisionsNo description published

This tool published no description. Forge does not invent one.

list_conceptsNo description published

This tool published no description. Forge does not invent one.

list_edgesNo description published

This tool published no description. Forge does not invent one.

find_conceptsNo description published

This tool published no description. Forge does not invent one.

add_conceptNo description published

This tool published no description. Forge does not invent one.

update_conceptNo description published

This tool published no description. Forge does not invent one.

link_conceptsNo description published

This tool published no description. Forge does not invent one.

add_krefNo description published

This tool published no description. Forge does not invent one.

validate_conceptNo description published

This tool published no description. Forge does not invent one.

set_standingNo description published

This tool published no description. Forge does not invent one.

archive_conceptNo description published

This tool published no description. Forge does not invent one.

unarchive_conceptNo description published

This tool published no description. Forge does not invent one.

star_conceptNo description published

This tool published no description. Forge does not invent one.

remove_conceptprivilegedNo description published

This tool published no description. Forge does not invent one.

remove_conceptsprivilegedNo description published

This tool published no description. Forge does not invent one.

find_orphansNo description published

This tool published no description. Forge does not invent one.

bulk_add_conceptsNo description published

This tool published no description. Forge does not invent one.

set_parentNo description published

This tool published no description. Forge does not invent one.

create_ideaNo description published

This tool published no description. Forge does not invent one.

rename_ideaprivilegedNo description published

This tool published no description. Forge does not invent one.

recolor_ideaNo description published

This tool published no description. Forge does not invent one.

set_idea_membersNo description published

This tool published no description. Forge does not invent one.

add_to_ideaNo description published

This tool published no description. Forge does not invent one.

delete_ideaprivilegedNo description published

This tool published no description. Forge does not invent one.

create_projectNo description published

This tool published no description. Forge does not invent one.

update_projectNo description published

This tool published no description. Forge does not invent one.

set_project_criteriaNo description published

This tool published no description. Forge does not invent one.

set_project_identityNo description published

This tool published no description. Forge does not invent one.

delete_projectprivilegedNo description published

This tool published no description. Forge does not invent one.

0 of 40 tools published a description.

Tool names and descriptions are written by the publisher and shown verbatim as inert text. They are the strings an MCP client passes to a model, so Forge scans them for prompt-injection patterns — any finding appears with the security scan above. “Privileged” is a keyword match on the tool name, not an audit of what the tool does: a benign-sounding name can still do anything.

About

Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.

Keywords

mcp

Alternatives

Comparing tool surfaces…

Tools exposed

40 tools · 5 privileged · observed 2026-08-17 by static extraction. A tool surface is what one scan read on one day, not a live capability list.

Linked names open Forge’s index of every entry observed exposing that tool. Browse all indexed tools.

No dependency coverage

This package was last scanned before Forge began storing the resolved tree. The next scan will record it.