八一菜刀
0 关注者
xxchan
2天前
Context7 是个少数比较有用的 MCP tool 之一，他能搜索你用的库的文档。 但这两天 X 上有人提到一些新的 MCP 文档搜索工具，说比 Context7 好。 那么问题来了，我怎么知道到底哪个好呢？ 其实可以让 agent 自己比
orange.ai
3天前
Claude Code 是真正意义上的全链路开发 Agent，从写代码到测试到发布 Github，全部自己完成。 第一次用 Claude Code 写完软件发布到 Github 的时候，我还在用 Github 的客户端，各种报错。 第二次用的时候，我装了一堆Agents，直接在CC里让 Agent 来提交了，遇到错误它会自己解决。 太智能了。
Ningcong Chen
今天用dspy + coqpyt编了个agent，自动证明了我懒得写的一个leetcode的定理。虽然不知道这玩意稳定性如何。 总之就是让Coq的报错喂给AI，然后AI会发现自己的递归没写对，反复试了几次以后就过了。 Coqpyt重新糊了一套界面，不然原来都不报错，模型直接抓瞎。
6天前
作为一个不会写代码的产品，我做了第一个 Mac App 🎉 Claude Code Now —— 在系统的任何文件夹，一键点击，CC启动！ 设计理念： Claude Code 并非只是一个开发工具，而是一个广泛的通用型 Agent。 它可以帮你分析文件、移动文件、整理文件。 它可以基于你的 Obsidian 数据库进行分析、总结、提取洞察。 但是启动 Claude Code 的过程还是太繁琐了，
𝙩𝙮≃𝙛{𝕩}^A𝕀²·ℙarad𝕚g𝕞
如果把agent也看成是一种交互，而语言本身就是人的社会外在的交互媒介，那一切就豁然了
