Void

Scira 是一个基于 AI 技术的搜索引擎，旨在通过强大的语言模型和搜索能力，为用户提供更高效、更精准的信息检索体验。它支持多种语言模型，如 Grok 2.0 和 Claude 3.5 Sonnet，并集成了 Tavily 等搜索工具，能够提供网页搜索、编程代码运行、天气查询等多种功能。Scira 的主要优点在于其简洁的界面和强大的功能集成，适合对传统搜索引擎不满意、希望借助 AI 提升搜索效率的用户。该项目开源免费，用户可以根据自己的需求进行本地部署或使用其提供的在线服务。

Infra.new 是一款面向云开发运维的AI辅助工具，通过实时成本分析、配置优化和基础设施代码生成等功能，帮助用户高效管理云基础设施。它支持多种云平台，如AWS、GCP等，能够自动生成Terraform配置，并提供架构可视化和成本优化建议，确保用户在部署前做出明智决策。该工具主要面向开发者和运维人员，旨在提高工作效率、降低成本，并保证基础设施的安全性和可靠性。

YuLan-Mini是由中国人民大学AI Box团队开发的一款轻量级语言模型，具有2.4亿参数，尽管仅使用1.08T的预训练数据，但其性能可与使用更多数据训练的行业领先模型相媲美。该模型特别擅长数学和代码领域，为了促进可复现性，团队将开源相关的预训练资源。

Qwen2.5-Coder-7B是基于Qwen2.5的大型语言模型，专注于代码生成、代码推理和代码修复。它在5.5万亿的训练令牌上进行了扩展，包括源代码、文本代码接地、合成数据等，是目前开源代码语言模型的最新进展。该模型不仅在编程能力上与GPT-4o相匹配，还保持了在数学和一般能力上的优势，并支持长达128K令牌的长上下文。

DeepSeek-R1-Distill-Qwen-7B 是一个经过强化学习优化的推理模型，基于 Qwen-7B 进行了蒸馏优化。它在数学、代码和推理任务上表现出色，能够生成高质量的推理链和解决方案。该模型通过大规模强化学习和数据蒸馏技术，显著提升了推理能力和效率，适用于需要复杂推理和逻辑分析的场景。

Agentless是一种无需代理的自动解决软件开发问题的方法。它通过定位、修复和补丁验证三个阶段来解决每个问题。Agentless利用分层过程定位故障到特定文件、相关类或函数，以及细粒度的编辑位置。然后，Agentless根据编辑位置采样多个候选补丁，并选择回归测试来运行，生成额外的复现测试以复现原始错误，并使用测试结果重新排名所有剩余补丁，以选择一个提交。Agentless是目前在SWE-bench lite上表现最佳的开源方法，具有82个修复（27.3%的解决率），平均每问题成本0.34美元。

Runcell是一个AI代理，可理解您的笔记本，编写代码并执行单元格，让您专注于洞察。它能够提高数据科学工作流程的效率，节省用户时间和精力。

DeepSeek-R1-Distill-Llama-8B 是 DeepSeek 团队开发的高性能语言模型，基于 Llama 架构并经过强化学习和蒸馏优化。该模型在推理、代码生成和多语言任务中表现出色，是开源社区中首个通过纯强化学习提升推理能力的模型。它支持商业使用，允许修改和衍生作品，适合学术研究和企业应用。