{"domain":"pflow.xyz","name":"pflow","url":"https://inite.ai/en/atlas/pflow.xyz","site":"https://pflow.xyz","summary":"Draws Petri net models of places, transitions and arcs, simulates them, generates constrained code from them, and produces Groth16 proofs.","forWhom":"people modelling processes or decisions as Petri nets, drawn or described to an AI assistant","useCases":["simulate a cold chain's response to a freezer defrost","compare sorter headcount against baggage conveyor throughput","check a ride-share decision by running its spread"],"categories":[],"pricing":null,"priceMoves":[],"interfaces":{"readOn":"2026-10-19","apiDocs":null,"openapi":null,"mcp":[{"name":"xyz.pflow.sim/whatif","tie":"namespace","registered":true,"remotes":["https://sim.pflow.xyz/mcp"],"packages":[],"probe":{"state":"open","checkedOn":"2026-10-19","toolCount":56,"tools":["sim_accept_migration","sim_bind","sim_calibrate","sim_canonical","sim_check_witness","sim_classify","sim_code_to_flow","sim_compare","sim_components","sim_compose","sim_conformance","sim_conformance_stream","sim_create_collection","sim_create_model","sim_create_system","sim_crosscheck","sim_dataset","sim_delete_model","sim_diagnose","sim_diff","sim_distill","sim_edges","sim_evaluate","sim_extend","sim_get_artifact","sim_get_binding","sim_get_model","sim_invariants","sim_license_model","sim_link","sim_list_bindings","sim_list_models","sim_map_get","sim_map_list","sim_map_put","sim_migration_offers","sim_my_sheets","sim_neighbors","sim_optimize","sim_param_heatmap","sim_prompt","sim_propose_types","sim_prove","sim_publish","sim_publish_app","sim_publish_compare","sim_query","sim_reach","sim_receipt","sim_refine","sim_reroll","sim_run_pipeline","sim_scenario","sim_supersede_model","sim_system","sim_verify"],"serverName":"sim.pflow.xyz"}}],"mcpServerCard":null,"status":null},"mcpMeasured":{"server":"https://sim.pflow.xyz/mcp","checkedSince":"2026-10-19","dailyChecks":16,"uptimePercent":100,"medianMs":156,"signIn":"none","clientRegistration":null,"tools":59,"contextTokens":31888,"definitionsGrade":"A","definitionsScore":100,"typedResults":0,"failingChecks":{},"warnings":{"open_writes":["sim_create_collection","sim_create_model","sim_create_system","sim_delete_model","sim_publish"]},"coverage":{"share":null,"cases":[{"useCase":"simulate a cold chain's response to a freezer defrost","verdict":"unsure","firstTool":null,"checks":["The model holds the places, transitions and arcs describing the cold chain and its defrost.","A simulation produces the sequence of states the net passes through after the defrost.","Each state in the run follows from the one before by an enabled transition."]},{"useCase":"compare sorter headcount against baggage conveyor throughput","verdict":"unsure","firstTool":null,"checks":["The model captures the sorter headcount and the conveyor throughput being compared.","A simulation shows the queue that builds or clears at that headcount and throughput.","The outcome states whether the headcount keeps pace with the conveyor throughput."]},{"useCase":"check a ride-share decision by running its spread","verdict":"unsure","firstTool":null,"checks":["The model holds the ride-share decision and the states it can spread into.","A run shows the states reachable as the decision spreads.","Each reachable state follows from the decision's starting marking."]}]},"adoption":{"npmWeekly":null,"pypiWeekly":null,"githubStars":null},"score":{"value":72,"parts":{"reliability":100,"definitions":100,"context":36,"connect":100},"penalties":["open_writes"]},"advice":{"verdict":"unproven","why":["whether its tools do the product's job has not been judged yet"],"how":["sim_create_collection, sim_create_model, sim_create_system, sim_delete_model, sim_publish change data without a sign-in: anyone with the URL can call them","its definitions take about 31888 tokens of context: enable only the tools the task needs"]},"method":"https://inite.ai/en/atlas/mcp/report"},"connect":{"order":["mcp","llmsTxt"],"mcp":[{"name":"xyz.pflow.sim/whatif","url":"https://sim.pflow.xyz/mcp","answers":"open","checkedOn":"2026-10-19","weakTie":false,"registry":"https://registry.modelcontextprotocol.io/v0/servers?search=xyz.pflow.sim%2Fwhatif","config":{"mcpServers":{"pflow":{"url":"https://sim.pflow.xyz/mcp"}}},"install":{"transport":"http","claudeCode":"claude mcp add --transport http pflow https://sim.pflow.xyz/mcp","cursor":"cursor://anysphere.cursor-deeplink/mcp/install?name=pflow&config=eyJ1cmwiOiJodHRwczovL3NpbS5wZmxvdy54eXovbWNwIn0%3D","vscode":"vscode:mcp/install?%7B%22name%22%3A%22pflow%22%2C%22type%22%3A%22http%22%2C%22url%22%3A%22https%3A%2F%2Fsim.pflow.xyz%2Fmcp%22%7D","connector":{"url":"https://sim.pflow.xyz/mcp","note":"Add it as a custom connector in the client’s settings; the client opens the sign-in itself when the server asks for one."}}}],"openapi":null,"apiDocs":null,"llmsTxt":"https://pflow.xyz/llms.txt","status":null,"readOn":"2026-10-19"},"trust":{"readOn":"2026-10-19","certifications":[],"training":null},"used":0,"alive":100,"traits":{"buyer":"developer","deployment":null,"developerFocus":null,"readAt":"2026-10-19"},"verifiedPlans":null,"fromVendor":null}