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

Open-source firmware for your baseboard management controller (BMC)

Library to abstract Baseboard Management Controller interaction

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

Service for interacting with BMCs

OPAL boot and runtime firmware for POWER

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

🏧 Second life for FPGA boards which can be repurposed to DYI/Hobby projects ...............................................................................................

A pure Go IPMI v2.0 remote console.

BMC configuration management tool

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

Exposes Baseboard Management Controller data in Prometheus format.

Web-based user interface for managing OpenBMC systems

Kubernetes Controller for BMC Interactions

Automated Code Repair suite powered by ESBMC and LLMs.

symbolic reachability checker

[1]：配置PXE环境（EFI/UEFI） [2]：更换PXE批量安装的服务器 [3]：批量修改文件内容 [4]：批量双网卡绑定Bond模式配置 [5]：批量双网卡绑定Team模式配置 [6]：收集LLD配置信息,检查网络连通性 [7]：批量拷贝文件 [8]：批量执行命令 [9]：批量拷贝文件到本地 [a]：解决SSH慢的问题 [b]：时区和时间配置 [c]：本地Yum仓库源配置 [d]：批量配置YUM源 [e]：批量更换IP地址 [f]：批量配置RAID [g]：批量配置BMC地址 [h]：解决重装操作系统无法引导 [i]：本机免密钥通信 [j]：单机配置Bond双网卡绑定[k]：检查文件权限和属组 [q]：退出 [r]：重启

Pure Python-based IPMI client developed by Hyve Design Solutions.

Python library for BMC Discovery API Interface.

CVEs for Integrated Dell Remote Access Controller (iDRAC)