ProofRail MCP Release Certifier · drkdm4jd-8767 · 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] drkdm4jd-8767: HSTS header (pass → unverified)https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0fb22-39e8-7d3a-85eb-36ef3ae50de1https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0fb22-39e8-7d3a-85eb-36ef3ae50de1HSTS header (pass → unverified). Compared against 2026-10-01.Fri, 02 Oct 2026 05:41:59 GMTsecurityregressioncheck.unverifiable[SECURITY] drkdm4jd-8767: Transport (Transport check failed: declared streamable-http, but we couldn't connect to verify it.)https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0fb22-39e9-767a-ab68-f61417c5b22chttps://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0fb22-39e9-767a-ab68-f61417c5b22cTransport (Transport check failed: declared streamable-http, but we couldn't connect to verify it.). Compared against 2026-10-01.Fri, 02 Oct 2026 05:41:59 GMTsecurityneutralcheck.reason[SECURITY] drkdm4jd-8767: Endpoint reachability (not serving MCP → unreachable)https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0fb22-39e9-7c36-b3c2-0ae74481a069https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0fb22-39e9-7c36-b3c2-0ae74481a069Endpoint reachability (not serving MCP → unreachable). Compared against 2026-10-01.Fri, 02 Oct 2026 05:41:59 GMTsecurityregressioncapture.status_changed[SECURITY] drkdm4jd-8767: Transport (pass → fail)https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f5f2-3cde-704e-ae7a-1f323375f623https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f5f2-3cde-704e-ae7a-1f323375f623Transport (pass → fail). Compared against 2026-09-30.Thu, 01 Oct 2026 05:31:28 GMTsecurityregressioncheck.verdict[SECURITY] drkdm4jd-8767: Tool safety (pass → unverified)https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f5f2-3cde-7b0e-95fd-2179e0312238https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f5f2-3cde-7b0e-95fd-2179e0312238Tool safety (pass → unverified). Compared against 2026-09-30.Thu, 01 Oct 2026 05:31:28 GMTsecurityregressioncheck.unverifiable[SECURITY] drkdm4jd-8767: Stability (0.03 → unverified)https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f5f2-3cdf-71c1-ba29-a0d0009b6b26https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f5f2-3cdf-71c1-ba29-a0d0009b6b26Stability (0.03 → unverified). Compared against 2026-09-30.Thu, 01 Oct 2026 05:31:28 GMTsecurityregressioncheck.unverifiable[SECURITY] drkdm4jd-8767: Authorization (Authorisation not yet verified: we couldn't confirm whether this endpoint requires it.)https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f5f2-3cdf-763b-8bd0-8f1e5554d6c5https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f5f2-3cdf-763b-8bd0-8f1e5554d6c5Authorization (Authorisation not yet verified: we couldn't confirm whether this endpoint requires it.). Compared against 2026-09-30.Thu, 01 Oct 2026 05:31:28 GMTsecurityneutralcheck.reason[SECURITY] drkdm4jd-8767: Endpoint reachability (reachable → not serving MCP)https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f5f2-3ce0-779e-9782-2548d9774df2https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f5f2-3ce0-779e-9782-2548d9774df2Endpoint reachability (reachable → not serving MCP). Compared against 2026-09-30.Thu, 01 Oct 2026 05:31:28 GMTsecurityregressioncapture.status_changed[SECURITY] drkdm4jd-8767: Tool “mcp_release_preflight” rewrote its description, which is the text the model readshttps://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f3e7-bf3f-7cb6-acff-0330dbcb272ehttps://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f3e7-bf3f-7cb6-acff-0330dbcb272eTool “mcp_release_preflight” rewrote its description, which is the text the model reads. Compared against 2026-09-30.Wed, 30 Sep 2026 20:00:46 GMTsecurityneutraltool.description_changed[SECURITY] drkdm4jd-8767: Tool “proofrail_info” rewrote its description, which is the text the model readshttps://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f3e7-bf40-7909-bd75-9a864862bdfchttps://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f3e7-bf40-7909-bd75-9a864862bdfcTool “proofrail_info” rewrote its description, which is the text the model reads. Compared against 2026-09-30.Wed, 30 Sep 2026 20:00:46 GMTsecurityneutraltool.description_changed[SECURITY] drkdm4jd-8767: Tool “mcp_release_certify” rewrote its description, which is the text the model readshttps://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f1ae-a60e-7b8a-ba5f-0761d8d82373https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f1ae-a60e-7b8a-ba5f-0761d8d82373Tool “mcp_release_certify” rewrote its description, which is the text the model reads. Compared against 2026-09-29.Wed, 30 Sep 2026 09:39:09 GMTsecurityneutraltool.description_changed[SECURITY] drkdm4jd-8767: Tool “quote_certification” rewrote its description, which is the text the model readshttps://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f1ae-a610-7997-b63a-a1ef66877cddhttps://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f1ae-a610-7997-b63a-a1ef66877cddTool “quote_certification” rewrote its description, which is the text the model reads. Compared against 2026-09-29.Wed, 30 Sep 2026 09:39:09 GMTsecurityneutraltool.description_changed[SECURITY] drkdm4jd-8767: The server rewrote its instructions, which are the text every model session readshttps://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f1ae-a611-786a-a7fb-78028872e8a5https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f1ae-a611-786a-a7fb-78028872e8a5The server rewrote its instructions, which are the text every model session reads. Compared against 2026-09-29.Wed, 30 Sep 2026 09:39:09 GMTsecurityneutralserver.instructions_changed[SECURITY] drkdm4jd-8767: Tool safety (pass → unverified)https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f0d8-1e84-7e44-8e0e-a4763e9590c6https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f0d8-1e84-7e44-8e0e-a4763e9590c6Tool safety (pass → unverified). Compared against 2026-09-29.Wed, 30 Sep 2026 05:44:50 GMTsecurityregressioncheck.unverifiable[SECURITY] drkdm4jd-8767: Transport (pass → fail)https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f0d8-1e86-746a-a3ba-311a8fb46883https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f0d8-1e86-746a-a3ba-311a8fb46883Transport (pass → fail). Compared against 2026-09-29.Wed, 30 Sep 2026 05:44:50 GMTsecurityregressioncheck.verdict[SECURITY] drkdm4jd-8767: HSTS header (pass → unverified)https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f0d8-1e86-7988-bd91-672f0da2c773https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f0d8-1e86-7988-bd91-672f0da2c773HSTS header (pass → unverified). Compared against 2026-09-29.Wed, 30 Sep 2026 05:44:50 GMTsecurityregressioncheck.unverifiable[SECURITY] drkdm4jd-8767: Authorization (Authorisation not yet verified: we couldn't confirm whether this endpoint requires it.)https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f0d8-1e86-7f2b-a950-140c116b36d5https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f0d8-1e86-7f2b-a950-140c116b36d5Authorization (Authorisation not yet verified: we couldn't confirm whether this endpoint requires it.). Compared against 2026-09-29.Wed, 30 Sep 2026 05:44:50 GMTsecurityneutralcheck.reason[SECURITY] drkdm4jd-8767: Endpoint reachability (reachable → unreachable)https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f0d8-1e88-7c03-a452-9d1a2e0858a6https://verifymcp.io/servers/kaattaallaa-sketch-proofrail/drkdm4jd-8767#chg-chg_01a0f0d8-1e88-7c03-a452-9d1a2e0858a6Endpoint reachability (reachable → unreachable). Compared against 2026-09-29.Wed, 30 Sep 2026 05:44:50 GMTsecurityregressioncapture.status_changed