#DSPy

4天前

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

AI编程工具激战：Claude Code、Gemini Cli崛起· 902 条信息

#DSPy #coqpyt #agent #LeetCode #定理证明

不鍊金丹不坐禪

3个月前

拿 DSPy 改造 "Agent as function Tool” 太舒服了8️⃣ 😄，严格结构化工作流型的 ReAct ToolCalling Agent 实现起来可控性非常强。如果作为 MCP（agent as MCP)或A2A的工作流Agent内部实现也很合适。[DSPy]()

#DSPy #agent #Tool #MCP #React #工作流 #A2A #可控性