OpenAI Math是OpenAI公开内部前沿模型数学成果的官方仓库，收录手稿、Lean形式化工件、推理摘要…
Anthropic Formal Math公开Claude生成的Lean形式化数学证明，包含渗流θ(pc)=0…
开源Claude Opus 5.5视频提示词合集，收录创作者公开指令，并附预览、原帖、中文翻译、工具和成本说明…
用TypeScript直接定制Claude Code面板、状态栏、斜杠命令、提示词和工具调用，并通过验证与自动…
OpenAI开源的Lean 4条件性形式化与Python数值证书项目，用于检查素数间隔H1≤186的证明结构、…
根据时区、浏览器语言、中文字体、Intl区域、时区偏移和Emoji风格计算地区特征分数的纯前端开源工具。
支持Cloudflare和Docker部署的开源笔记与个人知识库，提供REST API、MCP、网页剪藏、Ma…
面向个人研究者的自托管A股量化工作台，集成策略选股、指标流水线、回测、监控、市场复盘和可选AI分析。
面向Windows 10和11的开源批处理与注册表工具，可暂停或恢复更新、清理更新缓存、管理遥测和系统组件。
把显示器、窗口、清理、快捷操作和系统状态整合进菜单栏的macOS原生开源工具，支持macOS 14及以上版本。
保留原始照片内容，从其中提炼空间、构图和配色关系，生成摄影区域、抽象记忆面板与诗意英文标题组成的编辑作品。
输入基金代码，抓取公开披露数据，回放基金经理的买卖点、持仓分歧、风格暴露与历史决策，并生成单文件交互报告。
把公司研究、财报分析、行业筛选、投资清单、组合复盘和投资论文追踪整理为可在Claude Code与Codex中…
将SRT字幕按叙事顺序拆分分镜，生成暖米黄纸张风格的流式笔迹白板动画，并导出MP4视频。
将书籍、播客、访谈、课程与长视频字幕中的方法论，提炼为带触发条件、执行步骤、边界和测试用例的Agent Ski…
输入一张物体参考图，让Agent生成由几何体、程序材质和代码构成的Three.js模型，并通过分阶段质量检查持…
SemaPLC 是开源 PLC 代码生成 Agent，通过工程工具链、编译检查和浏览器仿真建立验证闭环，提升生…
MemSearch 是面向多种 Coding Agent 的持久记忆层，可接入 DeepSeek Harnes…
OpenDM 是 Dexmal 开源的机器人控制项目，提供 DM0.5 模型权重、训练与推理脚本、数据注册示例…
使用 Three.js 与 React Three Fiber 生成的第一人称城市街景，全部纹理、模型、灯光和…
将7到9幅手绘故事母图制作成35到45秒竖屏短视频，先显现黑白线稿，再逐步填入低饱和色彩。
输入中文故事或一组有序图片，通过Agent Skill自动分句、规划分镜并渲染3:4竖屏手绘动画，内置20种画…
基于Next.js和Together AI的开源Logo生成器，可部署到本地或服务器，自带可视化Logo风格、…
OpenClacky 是 MIT 开源、支持 BYOK 的 AI Agent，可用自然语言创建与迭代 Skil…
MemoraX Code 为 Codex、Claude Code、DeepSeek Harness 与 Ope…
HarnessEval-W以Agent化评测流程动态路由Skills、调用诊断工具并生成证据树，为世界模型提供…
推荐！基于Go与Wails的开源跨平台资源下载器，通过本地代理筛选视频号、小程序、抖音、快手、小红书、m3u8…
Agent Reach 是开源的多平台互联网能力安装、路由与健康检查工具，让命令行 AI Agent 读取和搜…
