TDD Guard:专为 Claude Code 打造的自动化 TDD 约束工具,助你严守红-绿-重构循环,提升代码质量与开发效率。

• 实时监控文件变更,自动阻止违反 TDD 原则的操作,无需手动提醒。
• 支持 TypeScript、JavaScript(Vitest)和 Python(pytest),未来扩展更多语言与测试框架。
• 集成 Claude Code Hooks,轻松配置 /hooks 命令实现自动校验,开发流程无缝衔接。
• 灵活切换开关,支持本地 Claude 或 Anthropic API 验证,满足多场景需求。
• 贯彻安全最佳实践,自动安全扫描和依赖审计,源码公开透明,保障开发环境安全。
• 未来规划涵盖多子代理支持、更多语言与框架兼容,以及智能重构建议。

TDD Guard 通过自动化执行规则,释放开发者专注设计与问题解决的认知负担,强化测试驱动流程的自我约束力,促进高质量代码持续交付。
Ragflow-Plus:基于 Ragflow 的二次开发,专注解决实际应用痛点,提升知识库管理与文档交互效率。

• 全新后台管理系统:支持用户、团队、配置、文件与知识库统一管理,提升运维便捷度
• 权限回收机制:前端权限收缩,简化操作界面,保障安全与易用并重
• 解析能力升级:引入 MinerU 替代 DeepDoc,增强文本与图片解析效果,实现图文结合输出
• 文档撰写模式革新:全新交互体验,优化内容创作流程,适合多场景知识沉淀
• 开箱即用:提供 Docker 快速部署方案,配套视频教程与详细文档支持
• 开源透明:遵循 AGPLv3 许可证,支持商业使用,保障软件自由与合规
• 社群活跃:官方社群讨论技术与使用,支持持续贡献与共建

Ragflow-Plus 深耕知识管理本质,结合技术迭代与用户需求,助力打造高效、灵活的智能文档与问答平台。
Media is too big
VIEW IN TELEGRAM
Claude Code Subagents Collection:专为开发者打造的 44 个生产级 AI 子代理,覆盖从架构设计到运维优化、语言专家、数据分析及业务营销的全链路支持。

🏗 架构与开发:backend-architect 设计 API,frontend-developer 构建响应式界面,mobile-developer 支持 React Native/Flutter,graphql-architect 设计 GraphQL 架构。
🔧 编程语言专家:python-pro、golang-pro、rust-pro、javascript-pro 等,提供领域内高质量代码生成与优化。
🛠 运维与基础设施:devops-troubleshooter 定位线上问题,cloud-architect 优化云架构,terraform-specialist 管理 IaC,incident-responder 快速响应故障。
🧪 质量与安全:code-reviewer 代码审查,security-auditor 漏洞扫描,test-automator 自动化测试,performance-engineer 性能调优。
📊 数据与 AI:data-scientist 数据分析,mlops-engineer 管理 ML 流水线,ai-engineer 构建 LLM 应用,prompt-engineer 优化提示词。
💼 业务与营销:business-analyst 量化分析,content-marketer 产出 SEO 内容,sales-automator 自动化销售流程,customer-support 提升客户体验。
• 多代理协作:支持复杂工作流自动编排,如功能开发、性能优化、生产故障响应,实现高效无缝协作。
• 使用方式:自动根据任务上下文调用,或显式指定子代理,灵活匹配场景需求。支持 ~/.claude/agents/ 目录一键部署。
• 方法论洞察:通过专业分工与自动化协同,最大化 AI 子代理效能,解放开发者生产力,推动端到端智能开发闭环。
Streamlit PDF Viewer:专为Streamlit应用设计的高效PDF可视化和增强组件,助力结构化数据展示与交互体验升级。

• 基于pdf.js,支持PDF文件直观展示,文本层覆盖实现复制粘贴
• 支持页面级渲染与滚动,快速定位指定页码或注释
• 注释高亮显示,支持多种边框样式及颜色,自定义点击回调函数
• 多重缩放控制,灵活调整视图比例,容器内居中/左/右对齐自由配置
• 可选分页分隔线,提升多页文档视觉分辨率
• 兼容Firefox和Chrome,针对复杂PDF支持动态加载及交互
• 开源Apache-2.0许可,持续迭代中,适合科研、文档分析与数据标注场景

通过对PDF的文本与注释分层渲染,实现了交互性与信息可复制性的平衡,促进面向结构化数据的深度挖掘和应用开发。

入门简单,pip install即可集成,适用范围广泛,具备长期工程实践参考价值。
LAB-Bench:面向生物科学研究的 AI 能力基准评测数据集,助力科学智能的系统化验证与提升。| #数据集

• 覆盖8大类30个细分任务,涵盖文献抽取(LitQA2)、数据库检索(DbQA)、补充信息(SuppQA)、科学图表推理(FigQA/TableQA)、实验协议排错(ProtocolQA)、生物序列操作(SeqQA)及分子克隆复杂场景。
• 公开约80%数据,保留20%私有测试集防止训练污染,内置canary字符串便于模型训练过滤。
• 支持Python 3.10+,提供异步agent接口,便于并行评测与多模型对比。
• 详尽文档和示例代码包含多种基线测试,助力快速上手与复现。
• 数据集开放获取,支持Hugging Face平台同步调用,推动AI在生物研究中的实用转化。
• 论文详述数据集设计与评测方法,具备长期参考价值,为科研AI能力构建提供方法论支撑。
字节跳动 Seed 团队发布 Seed-Prover,聚焦数学自动定理证明的前沿突破:

• Seed-Prover 是团队参与 IMO 2025 国际数学奥林匹克的官方系统,成功解决 4 道难题(P2 几何、P3 数论、P4 数论、P5 组合/代数),展示了 AI 在严谨数学证明中的实用性和高效性。
• P2 题几何证明仅用 2 秒生成并验证,P3 和 P4 题的数论证明分别用 Lean 形式化语言完成,代码行数达 2000 和 4000 行,体现深度形式化能力。
• P5 题的证明创新性强,算法生成的证明与人类传统解法存在差异,体现 AI 方法在数学创新上的潜力。
• 另有 Delta-Prover 项目,专注于测试时生成形式证明的技术研究,推动自动化数学系统的性能极限。
• 全部证明基于 Lean v4.14.0,采用 Apache-2.0 开源许可,方便社区复用与二次开发。

Seed-Prover 不仅是数学 AI 形式化证明的里程碑,也为数学研究方法论带来新的视角,推动数学与人工智能深度融合。长期来看,这类工具将成为数学家、科研人员的强力助手,实现复杂数学问题的自动验证和创新发现。
VSAG:面向大规模向量集的高效相似度搜索索引库,突破内存限制,简化参数调优,助力精确快速检索。

• 支持超大规模向量集合,适配内存外数据,解决传统向量库内存瓶颈。
• 采用领先算法,QPS性能较Glass提升100%,较HNSWLIB提升300%(基于ann-benchmark,GIST数据集,90%召回率)。
• C++核心实现,提供Python封装pyvsag,便于集成与二次开发。
• 自动参数生成机制,无需深入算法原理即可高效部署。
• 多场景验证,OceanBase、TuGraph、GreptimeDB等多个顶级分布式系统采用。
• 持续迭代,2025年路线图包含稀疏向量搜索、ARM与GPU加速、图结构压缩等关键特性。
• 开源社区驱动,欢迎贡献代码与反馈,促进矢量数据库生态发展。

VSAG从算法优化到工程实现均体现出对大规模、高性能相似度搜索的深刻理解,提供了行业领先的解决方案与可持续进化路径,适合长期技术布局与创新探索。
Portr:专为小团队设计的开源隧道工具,安全暴露本地 HTTP、TCP 和 WebSocket 服务至公网 | #工具

• 基于 SSH 远程端口转发,确保连接安全稳定
• 支持多协议隧道:HTTP、TCP、WebSocket,满足多样开发需求
• 内置管理后台,便于团队与用户权限管理,提升协作效率👥
• Portr inspector 功能支持请求监控与回放,助力调试与排查🕵️‍♂️
• 配置简单,提供详尽服务器及客户端安装指南,快速上手
• 目前处于 Beta 阶段,适合开发环境使用,不推荐生产环境部署
• 采用 AGPL-3.0 开源许可,保障自由使用与社区贡献
• 适合需要公网访问开发服务器、避免复杂端口映射的小团队

Portr 通过 SSH 隧道技术实现高效安全的本地服务暴露,降低远程访问门槛,是开发协作和测试阶段的利器,强调团队管理与请求分析,体现了现代开发环境对便捷与安全的双重需求。
短视频理解进入结构化新时代,ARC-Hunyuan-Video-7B推动多模态深度解析,助力内容精准洞察。

• 专为微信视频号、抖音等用户生成短视频设计,综合视觉、音频、文本信号,实现创作者意图、情感表达与核心信息的深度理解。🎥🎧
• 同步处理视觉与音频,支持复杂问题解答,突破单模态限制,精准识别幽默、细节等多维内容。
• 时间感知精准,具备多粒度时间戳字幕、时间定位与事件总结能力,适配视频检索、精彩片段生成和内容分析。
• 多阶段训练结合强化学习,强化推理能力,支持零样本及少样本微调,广泛覆盖视频标签、推荐、检索等下游应用。
• 建基于Hunyuan-7B视觉语言模型,创新音频编码器与时间戳叠加机制,百万级真实视频自动标注,确保模型高质量主观理解。
• 提供模型权重与vLLM支持的API服务,支持中英文多模态视频理解,V0版本专注中文视频描述与总结。

以结构化视频理解为核心,ARC-Hunyuan-Video-7B不仅解析“发生了什么”,更洞悉“何时何地”及“背后意义”,为视频智能分析树立新标杆。
Back to Top