skydiscover-ai/skydiscover

解决的问题

SkyDiscover 解决了手动设计高性能算法和复杂软件系统的难题。它自动化了更好算法的发现以及针对特定硬件、工作负载和需求定制的专用端到端系统的创建，取代了一刀切的软件解决方案。

工作原理

该框架通过两个主要模块运行：

1. SkyDiscover-Optimize：使用进化搜索算法（如 AdaEvolve 和 EvoX）迭代改进程序。用户提供评分函数，AI 进化代码以最大化该分数。
2. SkyDiscover-Synthesize：使用编码代理从纯文本描述或正式规范构建完整系统。它采用两种主要方法：一种是由形式证明驱动的方法，同时生成代码和机器检查的证明；另一种是测试驱动的方法，代理迭代实现，而审计员生成新测试以防止“奖励黑客”。

适用对象

它专为计算机科学和系统编程领域的研究人员和工程师设计，他们需要优化算法性能或构建高效专用系统（例如键值存储、LLM 推理引擎或模型路由器）。

亮点

• 自适应搜索：包括 AdaEvolve（调整自身设置）和 EvoX（优化自身优化过程）。
• 即时系统：能够合成优于通用替代品的系统，例如比 Redis 更快的 KV 存储和比 vLLM 更高吞吐量的推理引擎。
• 验证：支持形式机器检查证明和严格的测试驱动审计以确保可靠性。
• 代理集成：与各种编码代理配合使用，包括 Claude Code、Codex、Cursor 和 Pi。