由于 trendforge.devlive.top 访问受限,请切换到 trendforge.devlive.org 域名
ant
话题找到数量
worldwonderer/oh-story-claudecode
网文/小说写作技能包,涵盖长篇与短篇网络小说的扫榜、拆文、写作、去AI味、封面图全流程
rocq-prover/rocq
Rocq证明器是交互式定理证明器(或称证明助手),提供形式化语言来编写数学定义、可执行算法和定理,并配备半交互式开发机器验证证明的环境
wangzhe3224/awesome-systematic-trading
一份精心整理的超级实用库、包和资源清单,适用于系统化交易。涵盖加密货币、股票、期货、期权、差价合约、外汇等 | 量化交易 | 量化投资
OpenSenseNova/SenseNova-Skills
用于构建人工智能驱动的办公助理和生产力工作流程的模块化 SenseNova 技能
vitali87/code-graph-rag
适合您的单一存储库的终极 RAG。借助人工智能和知识图的力量查询、理解和编辑多语言代码库
antinomyhq/forge
面向Claude、GPT、O系列、Grok、Deepseek、Gemini及300多种模型的AI增强型结对编程工具
clidey/whodb
轻量级下一代数据浏览器——支持Postgres、MySQL、SQLite、MongoDB、Redis、MariaDB、Elastic Search和Clickhouse,并带有聊天界面。