ToolTrust
B17/100
Smithery

stackdump-pflow-pilot

mcpsmithery

@Smithery

Petri net tools for Claude: validate, simulate, analyze, generate code, compose nets, seal models, and generate full-stack apps from natural language. 18 MCP tools for Petri net workflows.

By Smithery | 36 findings | Scanned 5/12/2026 | tooltrust-scanner/v0.3.9

5 High4 Medium5 Low22 Info

Risk Summary

Safe With Normal Controls

Dep Visibility is the main signal, but overall risk remains within an acceptable range.

Potential impact: This finding indicates the tool should be reviewed before it is trusted.

Recommended action: No high-risk findings were detected in this scan, but you should still apply least-privilege defaults and rescan after changes.

Suggested policy: keep this tool behind manual approval, do not allow unattended runs, and re-scan after narrowing risky permissions.

Security Findings (36)

  • HighAS-002

    ⚠️Excessive Permissions ×5

    tool declares exec permission

    petri_code_to_flowpetri_codegenpetri_submit

    tool declares network permission

    petri_frontendseal_search

    Fix: Tool requests broad permissions (exec/fs/network). Validate input parameters using Enums where possible, and restrict file system operations to explicit allowed directories.

  • MediumAS-002

    ⚠️Excessive Permissions ×4

    tool declares db permission

    petri_applicationseal_list

    tool declares fs permission

    petri_jssdkpetri_preview

    Fix: Tool requests broad permissions (exec/fs/network). Validate input parameters using Enums where possible, and restrict file system operations to explicit allowed directories.

  • LowAS-011

    ℹ️Missing Rate-Limit / Timeout ×5

    tool performs network or execution operations but declares no rate-limit, timeout, or retry configuration

    petri_code_to_flowpetri_codegenpetri_frontendpetri_submitseal_search

    Fix: Declare explicit rate-limit, timeout, and retry configuration for all network and execution tools. Implement exponential back-off and surface resource state to the calling agent.

  • InfoAS-014

    ℹ️Dependency Inventory Unavailable ×22

    Tool did not expose metadata.dependencies or repo_url, so supply-chain coverage is limited.

    petri_analyzepetri_applicationpetri_code_to_flowpetri_codegenpetri_composepetri_diffpetri_docspetri_extendpetri_frontendpetri_helppetri_jssdkpetri_migratepetri_previewpetri_sealpetri_simulatepetri_submitpetri_validatepetri_verifypetri_visualizepflow_validateseal_listseal_search

    Fix: Review and remediate the identified issue.

Scan this tool yourself

Reproduce this audit locally, integrate into CI, or let your agent audit its own tools.

Install once, then scan any MCP server:

$ curl -sfL https://raw.githubusercontent.com/AgentSafe-AI/tooltrust-scanner/main/install.sh | bash
$ tooltrust-scanner scan --server "npx -y stackdump-pflow-pilot"

Adjust the package name if your npm registry name differs from the tool ID. View source

Add badge to your README

Copy this Markdown to show your ToolTrust grade on GitHub.

[![ToolTrust Grade B](https://raw.githubusercontent.com/AgentSafe-AI/tooltrust-directory/main/docs/badges/grade-b.svg)](https://github.com/AgentSafe-AI/tooltrust-directory)