Developer Tools

pflow.xyz

A visual editor for creating, simulating, and analyzing Petri net models, with code generation for state machines, resource flows, game mechanics, and token standards.

2 endpoints38 known toolsFirst detected August 14, 2026Last detected September 6, 2026

ENDPOINT 1

https://sim.pflow.xyz/mcp

Auth required

Known tools 0

No tool metadata was available in the registry cache.

CONNECT WITH APPROVAL

Client installation

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.pflow-xyz]
url = "https://sim.pflow.xyz/mcp"
enabled = true
bearer_token_env_var = "MCP_BEARER_TOKEN"

Authentication is required. Replace the placeholder locally and never commit a secret.

Claude Code

.mcp.json

{
  "mcpServers": {
    "pflow-xyz": {
      "type": "http",
      "url": "https://sim.pflow.xyz/mcp",
      "headers": {
        "Authorization": "Bearer YOUR_BEARER_TOKEN"
      }
    }
  }
}

Authentication is required. Replace the placeholder locally and never commit a secret.

Claude Desktop

Settings → Connectors → Add custom connector

Name: pflow-xyz
Remote MCP URL: https://sim.pflow.xyz/mcp

Add the URL as a custom connector, then complete its supported authorization flow. Claude Desktop remote connectors are configured in the UI.

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "pflow-xyz": {
      "url": "https://sim.pflow.xyz/mcp",
      "headers": {
        "Authorization": "Bearer YOUR_BEARER_TOKEN"
      }
    }
  }
}

Authentication is required. Replace the placeholder locally and never commit a secret.

Visual Studio Code

.vscode/mcp.json

{
  "servers": {
    "pflow-xyz": {
      "type": "http",
      "url": "https://sim.pflow.xyz/mcp",
      "headers": {
        "Authorization": "Bearer ${input:mcp-token}"
      }
    }
  },
  "inputs": [
    {
      "type": "promptString",
      "id": "mcp-token",
      "description": "pflow-xyz bearer token",
      "password": true
    }
  ]
}

Authentication is required. Replace the placeholder locally and never commit a secret.

Generic MCP

Client-specific MCP configuration

{
  "name": "pflow-xyz",
  "transport": "streamable-http",
  "url": "https://sim.pflow.xyz/mcp",
  "headers": {
    "Authorization": "Bearer YOUR_BEARER_TOKEN"
  }
}

Authentication is required. Replace the placeholder locally and never commit a secret.

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

ENDPOINT 2

https://pilot.pflow.xyz/mcp

No auth detected

MCP server metadata

Name: petri-pilot
Version: dev

Capabilities

promptsresourcestools

Known tools 38

petri_amm_depth

Depth chart for a constant-product AMM: plots slippage (or output price) as a function of trade size.

Potential side effects

petri_amm_il

Impermanent loss curve for a Uniswap V2-style LP.

Inferred read-only

petri_amm_quote

Single-trade math for a Uniswap V2-style constant-product AMM.

Potential side effects

petri_analyze

Analyze a Petri net model for behavioral properties including reachability, deadlocks, liveness, boundedness, and element importance.

Inferred read-only

petri_application

Generate a composed application from an Application specification: every entity becomes its own Petri net (subnet), the app is their composition.

Inferred read-only

petri_bundle

Generate a composed application from a raw bundle document: subnets (inline Petri net models) joined by token/data/event/guard links.

Inferred read-only

petri_code_to_flow

Convert source code into a formal Petri net model.

Inferred read-only

petri_codegen

Generate executable code from a validated Petri net model.

Inferred read-only

petri_conformance

Check how well a Petri net model matches real observed behavior, by replaying an event log against it.

Inferred read-only

petri_corr_matrix

Render a correlation matrix as a heatmap.

Inferred read-only

petri_diff

Compare two Petri net models and show structural differences.

Inferred read-only

petri_distribution

Run N stochastic paths and visualize the distribution of an observable at the final time.

Inferred read-only

petri_docs

Generate markdown documentation from a Petri net model with mermaid diagrams for visualization.

Inferred read-only

petri_explain

Explain the math behind any concept used in this MCP — formulas, intuition, derivations, worked examples, and what tool to try next.

Inferred read-only

petri_extend

Modify an existing Petri net model by applying operations.

Potential side effects

petri_fit

Fit transition rates to observed data.

Inferred read-only

petri_fit_discrete

Fit transition rates to observed discrete event data — which transition fired at what time — by maximising the exact CTMC (Gillespie/SSA) log-likelihood.

Inferred read-only

petri_frontend

Generate a vanilla JavaScript ES modules frontend application from a Petri net model.

Inferred read-only

petri_heatmap

Render the model's marking as a 2D colored grid heatmap (viridis colormap).

Inferred read-only

petri_migrate

Migrate a Petri net model from v1 (flat) to v2 (nested) schema format.

Inferred read-only

petri_ode

Run an ODE (mass-action kinetics) simulation of the Petri net using the Tsit5 solver (matches pflow.xyz).

Inferred read-only

petri_ode_sensitivity

ODE sensitivity analysis: perturb each transition's rate by a small delta and measure how much an observable's equilibrium value moves.

Inferred read-only

petri_ode_sweep

Run multiple ODE trajectories at different rates and overlay them on one plot.

Inferred read-only

petri_optimize

Multi-objective optimization over transition rates.

Inferred read-only

petri_param_heatmap

2D parameter sweep: vary two rate constants over a grid, run each combo to equilibrium, render the observable as a viridis heatmap.

Inferred read-only

petri_phase_plot

Phase-space portrait: run an ODE, project trajectory into the (place_x, place_y) plane (no time axis).

Inferred read-only

petri_preview

Preview a single generated file without full code generation.

Inferred read-only

petri_rate_scan

Parameter sweep: vary one transition's mass-action rate over a list of values, run each to equilibrium, plot observables (steady-state place concentrations) vs the swept rate.

Inferred read-only

petri_risk

Risk dashboard for an observable under SDE simulation.

Inferred read-only

petri_sankey

Sankey-style flow diagram: run an ODE, compute integrated flow through each arc, render the net with arc widths proportional to flow magnitude.

Inferred read-only

petri_scenario

Answer a what-if about a Petri net: override the initial marking (staff on duty, stock on hand, queue depth), override rates, or vary a rate over time, then run it forward.

Inferred read-only

petri_sde

Stochastic Differential Equation simulation.

Inferred read-only

petri_simulate

Simulate firing transitions and see state changes.

Inferred read-only

petri_stochastic

Gillespie Stochastic Simulation Algorithm (SSA) over the Petri net's discrete marking.

Inferred read-only

petri_template

DeFi/tokenomics model templates ready for analysis.

Inferred read-only

petri_validate

Validate a Petri net model for structural correctness.

Inferred read-only

petri_verify

Check whether a Petri net model satisfies stated correctness properties.

Inferred read-only

petri_visualize

Generate an SVG visualization of a Petri net model showing places, transitions, and arcs.

Inferred read-only

CONNECT WITH APPROVAL

Client installation

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.petri-pilot]
url = "https://pilot.pflow.xyz/mcp"
enabled = true

Claude Code

.mcp.json

{
  "mcpServers": {
    "petri-pilot": {
      "type": "http",
      "url": "https://pilot.pflow.xyz/mcp"
    }
  }
}

Claude Desktop

Settings → Connectors → Add custom connector

Name: petri-pilot
Remote MCP URL: https://pilot.pflow.xyz/mcp

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "petri-pilot": {
      "url": "https://pilot.pflow.xyz/mcp"
    }
  }
}

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

{
  "servers": {
    "petri-pilot": {
      "type": "http",
      "url": "https://pilot.pflow.xyz/mcp"
    }
  }
}

Generic MCP

Client-specific MCP configuration

{
  "name": "petri-pilot",
  "transport": "streamable-http",
  "url": "https://pilot.pflow.xyz/mcp"
}

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

TRUST AND VERIFICATION EVIDENCE

Trust Data Available

BuiltWith Trust API v2 evidence for pflow.xyz was fetched 2026-08-17T03:52:27.269Z.

Trust status Trusted

pflow.xyz is assessed as Trusted: Domain has an established technology history spanning over a year.

Indexed

Evidence is source-attributed and does not guarantee that a third-party server is safe. Risk labels are conservative metadata heuristics.