Superlog AI Agents for Enhanced Software Reliability