CVE-2026-72714
6.3 · MEDIUMOverview
CVE-2026-72714 is a medium-severity vulnerability. It was published on August 24, 2026 and has a CVSS 3.1 base score of 6.3 (MEDIUM).
This vulnerability has a CVSS 3.1 base score of 6.3, rated MEDIUM. It requires local or adjacent network access to exploit. No authentication or special privileges are required for exploitation.
Technical Description
Rocq Prover does not restore the universe graph's copy of the universe checking flag when a module that locally disabled the check is closed. Local Unset Universe Checking inside a module is expected to last only until the module ends, and the global flag is restored, but the universe graph keeps its own copy which is left disabled. The two views then disagree: Test Universe Checking reports the check as enabled while the kernel continues to accept universe-inconsistent terms. With the constraint between two universes no longer enforced, Hurkens' paradox applies and yields a proof of False, from which any proposition follows. The proof uses no axioms, plugins or unsafe features once the module has closed, and Print Assumptions reports it as closed under the global context, so neither the assumption audit nor the flag query reflects the actual kernel state. No fix is available.
Remediation
Check the references section for vendor advisories, patches, and mitigation guidance. If immediate patching is not possible, review the CVSS vector to understand the attack surface and apply compensating controls such as network segmentation or access restrictions.
Frequently Asked Questions
What is CVE-2026-72714?
CVE-2026-72714 is a medium-severity vulnerability. It was published on August 24, 2026 and has a CVSS 3.1 base score of 6.3 (MEDIUM).
How severe is CVE-2026-72714?
This vulnerability has a CVSS 3.1 base score of 6.3, rated MEDIUM. It requires local or adjacent network access to exploit. No authentication or special privileges are required for exploitation.
How do I fix or remediate CVE-2026-72714?
Check the references section for vendor advisories, patches, and mitigation guidance. If immediate patching is not possible, review the CVSS vector to understand the attack surface and apply compensating controls such as network segmentation or access restrictions.
How can CyberStrike help with CVE-2026-72714?
CyberStrike's AI-powered security agents can automatically detect CVE-2026-72714 across your infrastructure using autonomous pentesting, DAST scanning, and HackBrowser. The platform continuously monitors for known vulnerabilities and provides actionable remediation guidance prioritized by real-world exploitability.
How CyberStrike Helps
AI agents map your attack surface to find vulnerabilities like this one.
Automated penetration testing that runs continuously, not just quarterly.
AI-driven PR review catches vulnerable dependencies before they ship.
Browser-based exploitation validates findings with real proof-of-concept.
Related MEDIUM CVEs from 2026
View all →Discourse is an open source discussion platform. In versions prior to 3.5.4, 2025.11.2, 2025.12.1, a
In libexpat before 2.7.4, the doContent function does not properly determine the buffer size bufSize
Buffer overflow vulnerability in the HDC module. Impact: Successful exploitation of this vulnerabili
ImageMagick is free and open-source software used for editing and manipulating digital images. Prior
A improper certificate validation vulnerability in Fortinet FortiAnalyzer 7.6.0 through 7.6.4, Forti
OpenClaw versions prior to 2026.3.1 fail to properly handle authentication bootstrap errors during s
File Browser is a file managing interface for uploading, deleting, previewing, renaming, and editing
Vulnerability of improper permission control in the theme setting module. Impact: Successful exploit
Access of resource using incompatible type ('type confusion') vulnerability in Samsung Open Source E
A flaw was found in Keycloak, specifically in the organization selection login page. A remote attack
Serendipity is a PHP-powered weblog engine. In versions 2.6-beta2 and below, the serendipity_setCoo
In iTerm2 through 3.6.9, displaying a .txt file can cause code execution via DCS 2000p and OSC 135 d