pullrequests Search Results · language:Dune language:JavaScript language:JavaScript language:HTML language:Python language:Python
Filter by
176M results
关联 Issue
Closes #20
改动内容
- 新增 dsa/ 包(CLI + MCP Server,~950 行)
- dsa/cli.py: Click CLI(analyze, submit, status, resolve, market, mcp 等 12+ 命令)
- dsa/mcp_server.py: MCP stdio Server(4 个工具) ...
cli
enhancement
mcp
What
Follow-up to the #1888 reconciliation. Two goals had a kernel-verified proof index record but their goal record was
never flipped to proved, so they showed as open/translated on the queue and proof ...
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull
Summary
Transforms the diagnostic tool from a prototype-only experience into a data-collection system with two distinct user
flows:
1. Feedback mode (8 past customers): Collects 3-question validation ...
What
- New skill entry cline-sdk installing the whole cline/sdk-skill repo via cline skill install cline/sdk-skill. This
demonstrates the owner/repo skill reference (install everything in a repo), ...
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull