Sourcegraph Cody 面向代码库的 AI 助手,擅长在超大代码库中做语义搜索与问答并给出出处(免费与 Pro 档已停用,现为企业级方案,个人用户转向 Amp)。 010 编程技术# AI编程# Sourcegraph# Sourcegraph Cody
Magistral Mistral 推理专用模型,支持面对数学证明、逻辑分析、复杂决策与编程难题时,会先展开思考过程再给出结论。 000 深度推理# AI对话# Magistral# Mistral AI
Connected Papers 论文关系可视化工具,输入一篇文献即可生成引用关系图谱,快速找到同领域的奠基论文与最新进展,是文献调研的高效入口。 000 学术科研论文社区# AI学习资源# AI搜索# AI知识库