22 tools from the Pflow MCP Server, categorised by risk level.
View the Pflow policy →petri_analyze Analyze a Petri net model for behavioral properties including reachability, deadlocks, liveness, boundedness, and element importance. petri_application Generate a complete full-stack application from an Application specification. This accepts the high-level Application DSL with entities, roles, pag... petri_code_to_flow Convert source code into a formal Petri net model. Analyzes code structure (control flow, state machines, resource management, concurrency) and pro... 2/5 petri_codegen Generate executable code from a validated Petri net model. Produces event-sourced application code with state machine, events, and API handlers. petri_compose Compose multiple Petri net models into a CompositeNet with typed links between them. Validates that link endpoints reference valid places/transitio... petri_diff Compare two Petri net models and show structural differences. Reports added, removed, and modified places, transitions, arcs, roles, and access rules. petri_docs Generate markdown documentation from a Petri net model with mermaid diagrams for visualization. Useful for exploring and understanding models. petri_frontend Generate a vanilla JavaScript ES modules frontend application from a Petri net model. Produces a Vite + ES modules project with API client, state d... petri_help Returns a recommended CLAUDE.md snippet for working with pflow Petri net models. Paste this into your project's CLAUDE.md to give Claude the contex... petri_jssdk Generate a typed JS SDK (ES modules) from a Petri net model. Produces workflow.js, events.js, aggregate.js, permissions.js, test.js, and index.html... petri_preview Preview a single generated file without full code generation. Use this to check specific files before committing to full generation. Available temp... 2/5 petri_simulate Simulate firing transitions and see state changes. Returns detailed step-by-step state trace. Use this to verify workflow behavior before code gene... petri_validate Validate a Petri net model for structural correctness. Checks for empty models, unconnected elements, and invalid arc references. petri_verify Verify a PetriNetSeal: recompute the model hash, check it matches the sealed CID, and re-verify all declared invariants via reachability analysis. petri_visualize Generate an SVG visualization of a Petri net model showing places, transitions, and arcs. pflow_validate Validate a Petri net model.json for common issues including dead workflows, missing initial tokens, invalid arcs, and entity/role consistency. seal_list List sealed Petri net models from the catalog. Returns catalog entries with metadata (name, type, CID, invariant summaries, tags). Optionally filte... 2/5 seal_search Get the full PetriNetSeal document for a model by its @id or modelCID. Returns the complete seal with model, hash, invariants, and verification res... petri_extend Modify an existing Petri net model by applying operations. Operations: add_place, add_transition, add_arc, add_event, add_event_field, add_binding,... 2/5 petri_migrate Migrate a Petri net model from v1 (flat) to v2 (nested) schema format. V2 format separates the net definition from extensions like roles and views. 2/5 petri_seal Create a tamper-evident PetriNetSeal for a Petri net model. Computes a canonical SHA-256 hash and optionally verifies declared invariants via reach... 2/5 petri_submit Submit a Petri net model to the public catalog. Only core Petri net structure is accepted (places, transitions, arcs) — no extensions or code. Mode... 2/5 The Pflow MCP server exposes 22 tools across 2 categories: Read, Write.
Use Intercept, the open-source MCP proxy. Write YAML rules for each tool — rate limits, argument validation, or deny rules — then run Intercept in front of the Pflow server.
Pflow tools are categorised as Read (18), Write (4). Each category has a recommended default policy.
Open source. One binary. Zero dependencies.
npx -y @policylayer/intercept