Near-real-time probabilistic risk-assessment platform for power systems that models weather-driven stochastic events (solar intermittency, cloud dynamics, wind variability) alongside component failures with formal, verifiable mathematical proofs. Designed for grid operators and TSOs to reveal compounded, correlated risks missed by deterministic N-1 analysis, enabling defensible operational decisions under uncertainty and regulatory mandates.