i-EXAM: Instructable and Explainable Attack Connectivity Graph Modeler

i-EXAM is a planning-powered tool for system administrators who need to profile complex networks and evaluate hardening options. The system uses planning compilation to identify attack paths, calculate security metrics, and generate diverse hardening strategies. It also uses large language models to explain those strategies in natural language. The abstract claims soundness and completeness guarantees for the planning-based analysis, positioning the tool as a structured alternative to purely language-model-driven security reasoning.