INDIVIDUAL MCP TOOL

petri_amm_depth

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

pflow.xyznone authenticationAvailability not checked

LIVE ENDPOINT

https://pilot.pflow.xyz/mcp

No auth detected

Connect to this endpoint to inspect the live schema for petri_amm_depth and invoke it with your own arguments.

{}

Potential side effects detected · medium confidence · heuristic, not a guarantee.

CONNECT WITH APPROVAL

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.

petri_amm_il — Impermanent loss curve for a Uniswap V2-style LP.
petri_amm_quote — Single-trade math for a Uniswap V2-style constant-product AMM.
petri_analyze — Analyze a Petri net model for behavioral properties including reachability, deadlocks, liveness, boundedness, and element importance.
petri_application — Generate a composed application from an Application specification: every entity becomes its own Petri net (subnet), the app is their composition.
petri_bundle — Generate a composed application from a raw bundle document: subnets (inline Petri net models) joined by token/data/event/guard links.
petri_code_to_flow — Convert source code into a formal Petri net model.
petri_codegen — Generate executable code from a validated Petri net model.
petri_conformance — Check how well a Petri net model matches real observed behavior, by replaying an event log against it.