BrainPilot：一个用 Agent 自动化脑科学研究的开源平台
今天在 GitHub Trending 上看到一个有意思的项目：BrainPilot，一个开源的多智能体脑科学研究平台，让 AI Agent 真正介入科学工作流——从文献综述、实验设计、...
Posts
Claude Scholar：面向 AI 科研人员的半自动化研究助理工作流
今天在 GitHub Trending 上看到一个有意思的项目：Claude Scholar，它把 Claude Code 等 AI 编程 CLI 改造成了一套面向计算机科学与 AI 研究者的"半自动化科...
Erdős 猜想的 AI 证明工厂：ShouqiaoW/erdos 如何用 AI + Lean 攻克数学难题
今天在 GitHub Trending 上看到一个有意思的项目：ShouqiaoW/erdos，它用 AI 辅助「写」数学证明，再用 Lean 把证明机器检查一遍——把传奇数学家 Paul Erd...
Floci：轻量级开源 AWS 本地模拟器，快速启动无需认证
今天在 GitHub Trending 上看到一个有意思的项目：Floci，一个轻量级开源的 AWS 本地模拟器，主打快速、免费、无门槛，作为 LocalStack 社区版停止维护后的完美替代方案。 一...
jCodeMunch MCP：节省95% Token的GitHub代码检索神器
今天在 GitHub Trending 上看到一个有意思的项目：jCodeMunch MCP，它是一款基于 tree-sitter AST 解析的精准 GitHub 源码检索 MCP Server，号称可以将 AI 代码探索的 Token 消...