Nathaniel-hl/EAGLE

• 类型：github
• 标识：Nathaniel-hl/EAGLE
• 链接：https://github.com/Nathaniel-hl/EAGLE
• 主题：rag, risk, llm-infra
• 主分类：engineering
• 形态：tool
• 分类：ai
• Stars：0
• 周增：+0
• 许可：MIT
• 最近提交：2026-08-11
• 简介：Research artifact for coverage-guided transactional semantic auditing of PX4 flight-control software.
• 上次采集：2026-08-11
• 首次采集：2026-08-11
• 待LLM分类：否
• 成熟度：experimental
• 场景：软件审计、飞控、验证
• 简介中文：针对 PX4 飞控软件的覆盖率引导事务语义审计研究 artifact
• 来源文件：
• [GitHub Search]