network-validation

Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.

Using network observability to operate and design healthier networks

Arista Network Test Automation (ANTA) Framework

Network Automations Fabric

A Framework for Modeling and Analyzing Network Configurations

Analyzes generic firewall rules and detects conflicts and anomalies.

This software allows checking some parameters and create some MAPs.

Code backing the Networking Test Pyramid

A Kotlin application that uses MVVM architecture, network connection checking, cache, recyclerview and retrofit!

A NetBox-driven digital twin for generating, validating, and testing AI cluster network fabrics with Containerlab.

AWS-first OSS tool to declare allowed and denied network connectivity in YAML and verify it with AWS-native analysis.

This repository has a Python package and Python scripts to test Arista devices.

O-RAN configuration, management, Open Fronthaul, simulation, testing, and RIC application projects.

Ansible playbook that probes a list of upstream URLs and reports unreachable ones - useful for verifying egress before installing software that pulls from those endpoints.

PowerShell script that proves a declared list of firewall paths is open: probes each source, target and port once, returns a pass/fail matrix and HTML, CSV and JSON reports, and exits non-zero when a required path fails.

A framework for preventive verification and validation of LLM-generated network configurations, combining syntactic checks, schema compliance, semantic analysis, and Mininet-based experimental validation.

Network Simulation and Validation Tool developed during the Cisco AICTE Virtual Internship Program 2025 using Python and Cisco Packet Tracer.

Open Network Validation platform for scalable command execution, YAML checks, evidence, history, and operations UX.

Prove network changes before production with a deterministic validation gate.

Arista network test automation demo