1. Conduid
  2. Content
  3. Petri Pilot
MCP server · Content

Petri Pilot

· github.com/pflow-xyz/petri-pilot

MCP server for AI-assisted Petri net design and full-stack application generation

Unclaimed content
InstallView source
34Low

Scored a month ago · breakdown

About Petri Pilot

Petri Pilot is an MCP server in the Content category: mCP server for AI-assisted Petri net design and full-stack application generation.

Install

From source
git clone https://github.com/pflow-xyz/petri-pilot

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Tools (15)

petri_analyzeReachability, deadlocks, liveness, P/T-invariants

Parameters not published.

petri_applicationFull-stack from high-level spec

Parameters not published.

petri_canonicalExact automorphism orbits and a renaming-invariant canonical id

Parameters not published.

petri_code_to_flowConvert source code into a Petri net model

Parameters not published.

petri_codegenGenerate Go backend

Parameters not published.

petri_conformanceReplay a real event log against the model (fitness/precision)

Parameters not published.

petri_datasetSeeded synthetic event log (CSV) in the shape `petri_conformance` replays

Parameters not published.

petri_extendModify existing models

Parameters not published.

petri_frontendGenerate ES modules frontend

Parameters not published.

petri_invariantsFarkas conservation laws, T-invariants, siphons and traps with deadlock witnesses, plus encoding caveats

Parameters not published.

Show all 15 tools
petri_lumpingProved place-level ODE reductions: backward differential equivalence, constrained lumping

Parameters not published.

petri_simulateFire transitions, trace state

Parameters not published.

petri_validateStructural correctness, conservation laws

Parameters not published.

petri_verifyCheck stated properties — proved/refuted/unknown + counterexample

Parameters not published.

service_start/stop/logsManage running services

Parameters not published.

Ask AI

✦

Ask AI about Petri Pilot

Powered by Claude · Grounded in docs

I know everything about Petri Pilot. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Questions

About Petri Pilot

How do I install Petri Pilot?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Petri Pilot safe to use with an AI agent?

Its trust score is 34 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Petri Pilot still maintained?

Conduid hasn't recorded a commit date for this repository yet. Check the repository directly for recent activity.