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: 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: 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: 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