搜索结果：monitoring（3 个）
按分类缩小范围
keep
综合 69
开源的 AIOps 与告警管理平台。
copilot
综合 64
Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。
cockpit-tools
综合 62
通用 AI IDE 账号管理工具，支持多账号切换、配额监控与多开实例管理。