xyz.pflow.sim/whatif

up checked 2026-11-11T08:38:58.924Z

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided description

Conversational what-if simulation: build, diagnose and compare Petri-net models; CC0 catalog.

Summary by lookupd

Builds, compares, simulates and diagnoses Petri-net process models, including generating event logs, conformance checks and calibration…

Install

Claude Code, remote (streamable-http)

claude mcp add --transport http whatif https://sim.pflow.xyz/mcp

Codex, remote (streamable-http)

codex mcp add whatif --url https://sim.pflow.xyz/mcp

Cursor, remote (streamable-http) → .cursor/mcp.json

{
  "mcpServers": {
    "whatif": {
      "url": "https://sim.pflow.xyz/mcp"
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (showing 30 of 59)

Publisher-provided text

sim_accept_migration Carry offered taxonomic edges of a superseded model forward to its current successor. edges lists 1 to 25 edge ids that sim_migration_offers(model) offered; pas
sim_bind Record a checked connection between two stored models' declared ports, fromModel's fromPort (a place tagged port.output) feeding toModel's toPort (a transition
sim_calibrate Calibrate a model against YOUR event log — the reading that meets reality. Upload CSV (case_id, activity, timestamp; the shape sim_dataset emits, activities = t
sim_canonical Tell whether two differently-labelled models are actually the same net: an isomorphism-invariant id computed from the model's EXACT automorphism orbits (orbits.
sim_check_witness Re-check a stored structural witness against both stored models with the independent checker (pkg/morphism), which does no search. Given a structural edge's id,
sim_classify Discover the parameter classes of a stored model and return them as JSON-LD with empty annotation slots for you to fill in (label, comment, unit, domain, substi
sim_code_to_flow Derive a Petri-net model from source code with the configured LLM (control-flow, state-machine, resources or concurrency focus) and store it as a NEW model you
sim_compare Run several scenarios against one model on one shared seed and return them side by side — the seed sharing is server-enforced, so differences are the scenarios,
sim_components List the component registry: pre-baked subnet templates (arrivals, service, hazard, inventory, decision, mailbox, datastore) with the calibration discipline bak
sim_compose Instantiate a registry component into a model and store the result as a NEW content-addressed model you own (lineage recorded when composing onto an existing id
sim_conformance Check how well a stored model matches an observed event log WITHOUT rewriting its rates — the read sim_calibrate bundles into calibration, offered on its own an
sim_conformance_stream Online conformance: replay an ORDERED event stream against a stored model and get a running verdict — does the model still match, or which event was the first t
sim_create_collection Mint a named Collection you own and return its content id. A collection carries no member list of its own — a mutable list would change the collection's own id
sim_create_model Store a Petri-net model and return its content id and url, plus warnings (omitted when there are none) for a model that stores but probably does not say what wa
sim_create_system Define a System (ROADMAP.md Phase 11f): a content-addressed, stored set of models and the bindings between them, so the catalog can answer questions about them
sim_crosscheck Run every applicable READING of a model against the others and report agreement or divergence with the reason: discrete SSA means vs the continuous mean-field s
sim_dataset Generate a synthetic event log from a stored model (seeded SSA playout; case-per-arrival). Returns CSV. Deterministic: same id, same seed, same bytes.
sim_delete_model Delete a model you created signed in. Refused for the curated catalog, for models you do not own (a model created without sign-in is nobody's, for good), and fo
sim_diagnose Returns what one more of each resource (and a change in each rate) is worth to the outcome, each ranked against a measured noise floor — no fitness test to writ
sim_diff Structural difference between two stored models: places, transitions and arcs added or removed, and surviving elements whose numbers changed (initial, capacity,
sim_distill Distill exact search into the play scorer: fit rate multipliers for named transition groups so play's rankings agree with exact minimax, on positions sampled by
sim_distinguish Compare the behaviour of two stored models of one process — typically a net formalized from a document and a net sim_code_to_flow read out of code — and return
sim_edges List every relation touching an entity, as either subject or object. Answered from an index by subject and object; each call re-lists the store so edges written
sim_evaluate Score a player's legal next moves with the PLAY method (the blog post's move picker): apply each candidate hypothetically and score the expected objective of th
sim_extend Apply structural edits to a stored model and store the result as a NEW model you own, with lineage back to the original — the same vocabulary the guided builder
sim_generate Write a Petri-net model from a plain-language description with the configured LLM, with the levers that moved the pass rate in the benchmark behind it, each opt
sim_get_artifact Fetch a stored prompt or artifact by id as JSON-LD: the two records sim_prompt and sim_reroll store besides a model. An artifact (@type Artifact) is an LLM repl
sim_get_binding Fetch a stored Binding by id, with its check computed now (binds-port-v1; binds-port-v2 for a binding that declares a unit conversion, which is returned as conv
sim_get_model Fetch a stored model's full Petri-net JSON by its content id. A name in place of an id is refused saying to search with sim_list_models' query, and that a model
sim_invariants Derive a model's full algebraic invariant structure: conservation laws (Farkas P-invariants — weighted place sums every run preserves, the arithmetic a trust pa

Details

Version: 1.0.0
Transports: streamable-http
Uptime (7 days): 100%
Median latency: 390 ms
First indexed: 2026-11-01T10:09:45.202Z
Last seen in registry: 2026-11-01T10:09:45.202Z
Website: https://sim.pflow.xyz

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/xyz.pflow.sim/whatif.svg)](https://lookupd.com/servers/xyz.pflow.sim/whatif)

62092 servers
Last crawl: 2026-11-11T17:38:11.606Z
API base: https://api.lookupd.com
MCP URL: https://api.lookupd.com/mcp