Iterative, agent-based tool that combines LLM boot suggestions with formal reasoning to repair unbootable Linux kernel configurations.