Your app generates its own verified UI transition graph — screens as nodes, guarded (event, effect) edges. Proof-gated verification, trust tiers, model-free MCP for AI agents.
Your app generates its own verified behavioral map. React · Vue · Angular · Next.js — screens as nodes, (event, guard, effect) transitions as edges.
Tests, docs, agents, and impact analysis are all views over one graph — and every edge says how much you can trust it.
Your agent re-derives your app's navigation from source on every session — and a graph it guesses today can disagree with the one it guesses tomorrow. UI-graph computes the map once per commit, deterministically, then makes the LLM's additions earn their way in with runtime proof. The moat is not the word "map". It's the word verified.
[!NOTE] The core is model-free: no API key, no bundled LLM. Your coding agent (Claude Code, Cursor, Copilot) connects over MCP and brings its own model — the graph works offline and in LLM-restricted CI.
--- --- Deterministic extraction ts-morph static analysis of react-router v5/v6/data-router, vue-router, Angular Routes, and Next.js file routes — every edge carries a file:line witness Proof-gated verification reportobservation(confirmed) requires evidence (URL change, asserted dialog, screenshot on disk) + provenance, or it is rejected. A hallucinated confirmation cannot enter the graph Trust tiers on every edge witnessed proven asserted llm-verified proposed unknown — projected on read, so an agent always knows how far to lean The Tier-2/3 loop The LLM proposes greedily (propose, quarantined), the runner drives a real browser (uigraph verify), and only the observation — never the guess — mints an edge Honest coverage runtime-verified ⊆ verified ⊆ accounted are never confla
From the project README.
Add the radar badge to your README — it shows your project was picked up by MCP Radar and links to this page:
[](https://mcp.liqiwa.com/s/kanetran29--uigraph.html)
Open-source control plane for Codex projects: Git-backed context, visible agent progress, scoped MCP access, resumable work, and safe handoffs.
roshanarnav25-sloth/google-flow-mcpMCP server that drives Google Flow (Veo / Nano Banana) through its internal tRPC API, with a hard credit-cost gate
bybit-exchange/kaasTurn scattered notes, docs and transcripts into a queryable Markdown wiki — an LLM knowledge-base compiler with MCP access, no embeddings, self-hosted.
0xsline/OpenChatCutLocal-first conversational AI video editor with a professional multi-track timeline, Agent Skills, MCP integration, and Remotion-powered rendering.
AIPAYagent/aipay-protocolVerifier-backed USDC escrow for AI agents: signed orders, evidence hashes, Polygon deposits, and deterministic settlement.
KaichenCurry/TabNexusTurn tab overload into a local-first workspace with intent-first AI organization and Agent collaboration through MCP.
The top new MCP servers of the week, every Monday. No spam, unsubscribe anytime.