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
kuaizhongqiang
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 ...
cgbarlow
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
pull[bot]
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
netformrnd-labSummary
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 ...
yuki-b4
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), ...
saoudrizwan
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