// MCP TOOL REFERENCE

PFLOW TOOLS

22 tools from the Pflow MCP Server, categorised by risk level.

View the Pflow policy → Token cost: 2,805 tokens →

// ALL 22 PFLOW TOOLS

READ 18 tools

Read petri_analyze Analyze a Petri net model for behavioral properties including reachability, deadlocks, liveness, boundednes... Read petri_application Generate a complete full-stack application from an Application specification. This accepts the high-level A... Read petri_code_to_flow Convert source code into a formal Petri net model. Analyzes code structure (control flow, state machines, r... Read petri_codegen Generate executable code from a validated Petri net model. Produces event-sourced application code with sta... Read petri_compose Compose multiple Petri net models into a CompositeNet with typed links between them. Validates that link en... Read petri_diff Compare two Petri net models and show structural differences. Reports added, removed, and modified places, ... Read petri_docs Generate markdown documentation from a Petri net model with mermaid diagrams for visualization. Useful for ... Read petri_frontend Generate a vanilla JavaScript ES modules frontend application from a Petri net model. Produces a Vite + ES ... Read petri_help Returns a recommended CLAUDE.md snippet for working with pflow Petri net models. Paste this into your proje... Read petri_jssdk Generate a typed JS SDK (ES modules) from a Petri net model. Produces workflow.js, events.js, aggregate.js,... Read petri_preview Preview a single generated file without full code generation. Use this to check specific files before commi... Read petri_simulate Simulate firing transitions and see state changes. Returns detailed step-by-step state trace. Use this to v... Read petri_validate Validate a Petri net model for structural correctness. Checks for empty models, unconnected elements, and i... Read petri_verify Verify a PetriNetSeal: recompute the model hash, check it matches the sealed CID, and re-verify all declare... Read petri_visualize Generate an SVG visualization of a Petri net model showing places, transitions, and arcs. Read pflow_validate Validate a Petri net model.json for common issues including dead workflows, missing initial tokens, invalid... Read seal_list List sealed Petri net models from the catalog. Returns catalog entries with metadata (name, type, CID, inva... Read seal_search Get the full PetriNetSeal document for a model by its @id or modelCID. Returns the complete seal with model...

WRITE 4 tools

Write petri_extend Modify an existing Petri net model by applying operations. Operations: add_place, add_transition, add_arc, ... Write petri_migrate Migrate a Petri net model from v1 (flat) to v2 (nested) schema format. V2 format separates the net definiti... Write petri_seal Create a tamper-evident PetriNetSeal for a Petri net model. Computes a canonical SHA-256 hash and optionall... Write petri_submit Submit a Petri net model to the public catalog. Only core Petri net structure is accepted (places, transiti...

// FAQ

How many tools does the Pflow MCP server have? +

The Pflow MCP server exposes 22 tools across 2 categories: Read, Write.

How do I enforce policies on Pflow tools? +

Route the Pflow server through the PolicyLayer gateway. Define allow, deny, or approval rules per tool in the dashboard — they are enforced on every call before it reaches the server.

What risk categories do Pflow tools fall into? +

Pflow tools are categorised as Read (18), Write (4). Each category has a recommended default policy.

Let agents act without letting them run wild.

Route your MCP servers through PolicyLayer and every tool call is checked against your policy before it runs — allow, deny, or require approval. Per-identity grants. Full audit log. Live in minutes.

SECURE YOUR MCP →

Free to start. No card required.

4,600+ MCP servers and 31,000+ tools scanned and risk-classified.