~/home / tags / 可靠性

# 可靠性

15 个相关产品 · 中文解读 · 按热度排序
SkillCI
当 Claude 模型更新导致技能触发失效或指令被忽略时,该工具能自动检测并记录失败,作为永久性评估用例,提升 AI 应用的稳定性与可维护性。
CORI
自主可靠性工程师工具,能自动检测、诊断并修复系统故障,适合DevOps团队与运维工程师,亮点是AI驱动的全链路故障自愈能力。
Cactus Hybrid: We taught Gemma 4 to know when it's wrong
Cactus Hybrid 让 Gemma 4 模型学会识别自身错误,通过自我反思机制提升 AI 输出的可靠性,适用于高精度任务场景。
temporalio/temporal
分布式工作流编排系统,用于构建高可靠、可扩展的长期运行任务(如业务流程、数据管道、自动化调度)。
Requirements Engineering with Formal Verification
该工具将形式化验证引入需求工程,帮助团队在早期阶段用数学方法确保系统需求无矛盾、完整且可验证,适用于高可靠性系统(如航天、金融)的开发团队。
Aequitas AI
一种拒绝盲目猜测的AI分析工具,强调在不确定时选择‘不回答’而非错误推断,提升决策可靠性。
nasa/fprime
NASA 开发的飞行软件与嵌入式系统框架,用于构建高可靠、可验证的航天器控制软件。
9lives – Self-healing test runner that refuses to mask real bugs
自愈型测试运行器,拒绝隐藏真实Bug,通过智能重试和上下文恢复提升测试稳定性,保障代码质量。
kassette – Durable agent workflows backed by object storage
Kassette 是基于对象存储构建的持久化智能体工作流系统,支持长期运行的复杂任务编排,适合需要可靠状态管理的AI应用开发者,亮点是将工作流持久化与对象存储深度集成。
Neuratly
具备近乎零幻觉的AI系统,拥有类人记忆能力,适合高可靠性场景
Sol – a validated computational artifact for human-agent handoffs
用于人机协作的可验证计算工件,确保人类与 AI 在关键任务中交接的准确性与可追溯性,适合高可靠性系统。
Scanstone
Scanstone 是一种永久可用的QR码,即使二维码损坏或链接失效,仍能通过特殊编码技术保持可访问性,适合长期项目或重要信息存档。
Growth-Ratio Energy Function as Leading Indicator of Agent Task Failure
一种基于增长比率的能量函数,可作为智能体任务失败的早期预警指标,用于提升AI系统可靠性与稳定性。
Ingot, evidence-gated optimization and version control for agent skills
Ingot 是面向 AI 代理技能的证据驱动优化与版本控制系统,通过可验证的证据管理技能迭代,提升 AI 代理的可靠性与可复现性,适合 AI 研究者与高级开发者。
Sigil – compile a SKILL.md the model MUST run, not "might"
Sigil 是一个强制模型必须可运行的 SKILL.md 编译工具,确保技能描述文件不仅可读,还能实际执行,提升 AI 任务定义的可靠性。
其他标签