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

Dry-run network changes in a real containerlab lab before they reach production. Checks BGP sessions, prefixes, routes and reachability, and returns a pass/fail verdict with evidence. CLI, GitHub Action and MCP server for AI agents. FRR, SR Linux, SONiC, Arista cEOS.

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

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 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.

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

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

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.

Prove network changes before production with a deterministic validation gate.

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