The efficient SMT-based context-bounded model checker (ESBMC)

Automated Code Repair suite powered by ESBMC and LLMs.

CVEs for Integrated Dell Remote Access Controller (iDRAC)

Bare metal provisioning engine, supporting network and ISO booting, BMC interactions, metadata service, and workflow engine.

Build container image to configure BMC and BIOS

Web-based user interface built on Vue.js for managing OpenBMC systems

Library to abstract Baseboard Management Controller interactions

Simple Redfish (iDRAC, iLO, XClarity) exporter for Prometheus

DC-SCMv2 dual-node card

Docker container with NoVNC, Palemoon, Flash and JRE8 (Webstart/Apple) for KVM Access to legacy hardware

Redfish-based BMC discovery tool written in Go

Vendor-agnostic tool for managing bare-metal systems via the Redfish API

Dynamic Redfish API client for Python

CXL Management Interface library

OPAL boot and runtime firmware for POWER

Kubernetes Controller for BMC Interactions

DISMAL - Discovery-Mod-And-Lookup Toolkit

A pure Go IPMI v2.0 remote console.

Exploit for CVE-2023-40289, a command injection vulnerability in several Baseband Management Controllers (BMC) by with firmware by ATEN