Recordly：开源录屏编辑器，自动放大 + 光标美化 + 动态背景一条龙
今天在 GitHub Trending 上看到一个有意思的项目：Recordly，一款免费开源的跨平台录屏与视频编辑工具，专为录制演示视频、Demo、产品介绍而设计。它把...
开源
BrainPilot：一个用 Agent 自动化脑科学研究的开源平台
今天在 GitHub Trending 上看到一个有意思的项目：BrainPilot，一个开源的多智能体脑科学研究平台，让 AI Agent 真正介入科学工作流——从文献综述、实验设计、...
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 社区版停止维护后的完美替代方案。 一...