dev.pages.proofrun/proofrun · proofrun · changes | VerifyMCPRecorded changes to this MCP component: tools, parameters, capabilities, advisories and trust-score checks. Security-relevant changes by default; append ?materiality=all for everything.https://verifymcp.io[SECURITY] proofrun: Tool “verify_deployment” rewrote its description, which is the text the model readshttps://verifymcp.io/servers/dev-pages-proofrun-proofrun/proofrun#chg-chg_01a13825-d157-7127-9d25-3e6f75aaa4bfhttps://verifymcp.io/servers/dev-pages-proofrun-proofrun/proofrun#chg-chg_01a13825-d157-7127-9d25-3e6f75aaa4bfTool “verify_deployment” rewrote its description, which is the text the model reads. Compared against 2026-10-13.Wed, 14 Oct 2026 02:02:43 GMTsecurityneutraltool.description_changed[SECURITY] proofrun: Transport (fail → pass)https://verifymcp.io/servers/dev-pages-proofrun-proofrun/proofrun#chg-chg_01a132ff-1b05-75d4-9ea7-559e56a124dfhttps://verifymcp.io/servers/dev-pages-proofrun-proofrun/proofrun#chg-chg_01a132ff-1b05-75d4-9ea7-559e56a124dfTransport (fail → pass). Compared against 2026-10-12.Tue, 13 Oct 2026 02:02:21 GMTsecurityimprovementcheck.verdict[SECURITY] proofrun: Injection markers (unverified → pass)https://verifymcp.io/servers/dev-pages-proofrun-proofrun/proofrun#chg-chg_01a132ff-1b07-714d-8aaa-b74e89399448https://verifymcp.io/servers/dev-pages-proofrun-proofrun/proofrun#chg-chg_01a132ff-1b07-714d-8aaa-b74e89399448Injection markers (unverified → pass). Compared against 2026-10-12.Tue, 13 Oct 2026 02:02:21 GMTsecurityimprovementcheck.reverified[SECURITY] proofrun: First check of Judged manipulation (pass)https://verifymcp.io/servers/dev-pages-proofrun-proofrun/proofrun#chg-chg_01a132ff-1b07-76fb-bc23-952011b7b2f7https://verifymcp.io/servers/dev-pages-proofrun-proofrun/proofrun#chg-chg_01a132ff-1b07-76fb-bc23-952011b7b2f7First check of Judged manipulation (pass). Compared against 2026-10-12.Tue, 13 Oct 2026 02:02:21 GMTsecurityneutralcheck.appeared[SECURITY] proofrun: Authorization (Authorisation not fully verified: no authorisation is required to call this server, and 3 tool(s) never declared a destructiveHint. The MCP spec treats an absent hint as destructive by default, so we cannot call this surface safe.)https://verifymcp.io/servers/dev-pages-proofrun-proofrun/proofrun#chg-chg_01a132ff-1b07-7b30-8404-a2fbdaeacc88https://verifymcp.io/servers/dev-pages-proofrun-proofrun/proofrun#chg-chg_01a132ff-1b07-7b30-8404-a2fbdaeacc88Authorization (Authorisation not fully verified: no authorisation is required to call this server, and 3 tool(s) never declared a destructiveHint. The MCP spec treats an absent hint as destructive by default, so we cannot call this surface safe.). Compared against 2026-10-12.Tue, 13 Oct 2026 02:02:21 GMTsecurityneutralcheck.reason