io.github.daedalus/mcp-z3-prover · mcp-z3-prover · 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] mcp-z3-prover: Stability (0.97 → pass)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_01a0b2f0-11fc-7e92-9b98-edd62548f7echttps://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_01a0b2f0-11fc-7e92-9b98-edd62548f7ecStability (0.97 → pass). Compared against 2026-09-17.Fri, 18 Sep 2026 05:14:32 GMTsecurityneutralcheck.verdict[SECURITY] mcp-z3-prover: Malware scan (pass → unverified)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_01a09ef9-8e26-79e6-a5c8-3fa138d42926https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_01a09ef9-8e26-79e6-a5c8-3fa138d42926Malware scan (pass → unverified). Compared against 2026-09-13.Mon, 14 Sep 2026 08:12:29 GMTsecurityregressioncheck.unverifiable[SECURITY] mcp-z3-prover: Malware scan (unverified → pass)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_01a0943d-7ebf-7cb3-8b1b-83f362b809f7https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_01a0943d-7ebf-7cb3-8b1b-83f362b809f7Malware scan (unverified → pass). Compared against 2026-09-11.Sat, 12 Sep 2026 06:10:52 GMTsecurityimprovementcheck.reverified[SECURITY] mcp-z3-prover: Stability (0.97 → pass)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_01a08f84-b944-7344-8fee-8b414bdb2f44https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_01a08f84-b944-7344-8fee-8b414bdb2f44Stability (0.97 → pass). Compared against 2026-09-10.Fri, 11 Sep 2026 08:10:34 GMTsecurityneutralcheck.verdict[SECURITY] mcp-z3-prover: Malware scan (pass → unverified)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_01a08a5e-2c94-7dbe-8c3e-e7301657fd36https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_01a08a5e-2c94-7dbe-8c3e-e7301657fd36Malware scan (pass → unverified). Compared against 2026-09-09.Thu, 10 Sep 2026 08:10:22 GMTsecurityregressioncheck.unverifiable[SECURITY] mcp-z3-prover: Stability (0.97 → pass)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_01a06ad3-f242-7887-a42e-6eb69d332b8ehttps://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_01a06ad3-f242-7887-a42e-6eb69d332b8eStability (0.97 → pass). Compared against 2026-09-03.Fri, 04 Sep 2026 05:11:09 GMTsecurityneutralcheck.verdict[SECURITY] mcp-z3-prover: Malware scan (unverified → pass)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fe4eb-cfc5-705d-a4a1-e159d9f8d3eehttps://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fe4eb-cfc5-705d-a4a1-e159d9f8d3eeMalware scan (unverified → pass). Compared against 2026-08-08.Sun, 09 Aug 2026 05:08:07 GMTsecurityimprovementcheck.reverified[SECURITY] mcp-z3-prover: Malware scan (pass → unverified)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fd579-d2d1-7bc3-84b5-98ace6e8fda7https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fd579-d2d1-7bc3-84b5-98ace6e8fda7Malware scan (pass → unverified). Compared against 2026-08-05.Thu, 06 Aug 2026 05:09:18 GMTsecurityregressioncheck.unverifiable[SECURITY] mcp-z3-prover: Stability (Stability not yet verified: not enough scan history yet (needs a 30-day window).)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fd579-d2d2-7dd2-b4df-dd17718368e6https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fd579-d2d2-7dd2-b4df-dd17718368e6Stability (Stability not yet verified: not enough scan history yet (needs a 30-day window).). Compared against 2026-08-05.Thu, 06 Aug 2026 05:09:18 GMTsecurityneutralcheck.reason[SECURITY] mcp-z3-prover: Malware scan (unverified → pass)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fd051-f6aa-7349-a089-cdaafc8fcf36https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fd051-f6aa-7349-a089-cdaafc8fcf36Malware scan (unverified → pass). Compared against 2026-08-04.Wed, 05 Aug 2026 05:07:40 GMTsecurityimprovementcheck.reverified[SECURITY] mcp-z3-prover: Malware scan (pass → unverified)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fcb2b-1e88-75cc-adf2-13e0c2c80f27https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fcb2b-1e88-75cc-adf2-13e0c2c80f27Malware scan (pass → unverified). Compared against 2026-08-03.Tue, 04 Aug 2026 05:07:08 GMTsecurityregressioncheck.unverifiable[SECURITY] mcp-z3-prover: Provenance (unverified → fail)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fc30d-8e6a-7f0c-8e4d-b970b089ddc8https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fc30d-8e6a-7f0c-8e4d-b970b089ddc8Provenance (unverified → fail). Compared against 2026-08-01.Sun, 02 Aug 2026 15:17:53 GMTsecurityregressioncheck.reverified[SECURITY] mcp-z3-prover: Malware scan (unverified → pass)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fc30d-8e6b-782b-8393-1b938230be57https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fc30d-8e6b-782b-8393-1b938230be57Malware scan (unverified → pass). Compared against 2026-08-01.Sun, 02 Aug 2026 15:17:53 GMTsecurityimprovementcheck.reverified[SECURITY] mcp-z3-prover: Known CVEs (unverified → pass)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fc30d-8e6b-7d32-a856-8ced12ee1202https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fc30d-8e6b-7d32-a856-8ced12ee1202Known CVEs (unverified → pass). Compared against 2026-08-01.Sun, 02 Aug 2026 15:17:53 GMTsecurityimprovementcheck.reverified[SECURITY] mcp-z3-prover: Install scripts (unverified → pass)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fc30d-8e6c-74fa-a987-7d0e05865720https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fc30d-8e6c-74fa-a987-7d0e05865720Install scripts (unverified → pass). Compared against 2026-08-01.Sun, 02 Aug 2026 15:17:53 GMTsecurityimprovementcheck.reverified[SECURITY] mcp-z3-prover: The scripts that run when this package is installed changed (build_backend)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fc30d-8e6c-7abb-be5a-80a526943c24https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fc30d-8e6c-7abb-be5a-80a526943c24The scripts that run when this package is installed changed (build_backend). Compared against 2026-08-01.Sun, 02 Aug 2026 15:17:53 GMTsecurityneutralinstallscript.hooks_changed[SECURITY] mcp-z3-prover: Stability (Stability not yet verified: our sandbox run of this package did not complete, so we have no schema to compare.)https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fbd6f-cda0-775f-965f-10c7056e8d44https://verifymcp.io/servers/daedalus-mcp-z3-prover/mcp-z3-prover#chg-chg_019fbd6f-cda0-775f-965f-10c7056e8d44Stability (Stability not yet verified: our sandbox run of this package did not complete, so we have no schema to compare.). Compared against 2026-07-31.Sat, 01 Aug 2026 13:07:28 GMTsecurityneutralcheck.reason