相关新闻

placeholder

xxchan

2天前

Context7 是个少数比较有用的 MCP tool 之一，他能搜索你用的库的文档。 但这两天 X 上有人提到一些新的 MCP 文档搜索工具，说比 Context7 好。 那么问题来了，我怎么知道到底哪个好呢？ 其实可以让 agent 自己比

placeholder

卫斯理

2天前

今天回家的主要任务就是把群聊导出来，做一个智能体…加油💪💪

placeholder

Jason Young

3天前

哄睡了娃 洗完了澡 坐到电脑前 启动 Cursor Claude Code 还有 Codex 此刻的我 仿佛置身于天堂 谢谢大家

placeholder

orange.ai

3天前

Claude Code 是真正意义上的全链路开发 Agent，从写代码到测试到发布 Github，全部自己完成。 第一次用 Claude Code 写完软件发布到 Github 的时候，我还在用 Github 的客户端，各种报错。 第二次用的时候，我装了一堆Agents，直接在CC里让 Agent 来提交了，遇到错误它会自己解决。 太智能了。

placeholder

Ningcong Chen

3天前

今天用dspy + coqpyt编了个agent，自动证明了我懒得写的一个leetcode的定理。虽然不知道这玩意稳定性如何。 总之就是让Coq的报错喂给AI，然后AI会发现自己的递归没写对，反复试了几次以后就过了。 Coqpyt重新糊了一套界面，不然原来都不报错，模型直接抓瞎。