Batfish 的 Python 客户端，Batfish 是一种网络配置分析工具，通过在部署前基于设备配置对网络行为进行建模，来验证安全性、可靠性和合规性。