The efficient SMT-based context-bounded model checker (ESBMC)
Library to abstract Baseboard Management Controller interaction
Simple Redfish (iDRAC, iLO, XClarity) exporter for Prometheus
Service for interacting with BMCs
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 ...............................................................................................
BMC configuration management tool
Exposes Baseboard Management Controller data in Prometheus format.
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.
Add a description, image, and links to the bmc topic page so that developers can more easily learn about it.
To associate your repository with the bmc topic, visit your repo's landing page and select "manage topics."