模型
SnackPrompt
Snackprompt.com是一个聚焦于AI prompts（即AI提示）的平台，能够提供给用户各种高质量的AI提示，让他们的ChatGPT体验更加卓越。
DeepSeek Coder
中国人工智能公司深度求索（DeepSeek）推出的开源代码生成大模型系列，通过深度学习技术提升代码生成和理解能力，提升开发者的编程效率。
Bytespider
Bytespider 是一款由字节跳动推出的网络爬虫工具，凭借极高的数据抓取速度和多线程处理技术，支持互联网数据的高效采集与分析。该工具不仅用于优化字节跳动的AI语言模型，还广泛应用于搜索引擎构建、市场情报分析、客户洞察、内容监控和学术研究等多个场景。
Baidu Comate
Baidu Comate是百度推出的A编程工具，基于文心大模型，可实现代码的快速补齐、自然语言推荐代码、自动查找代码错误，全面提升开发者研发效率。
TongGeometry
TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。
Minion Agent
Minion Agent 是一款基于代理框架的多功能 AI 工具，支持浏览器操作、MCP 协议、自动规划和深度研究等功能。用户可通过简单 API 快速部署，实现信息检索、数据分析等任务。其动态规划机制确保任务高效执行，同时支持多种模型和灵活配置，适用于信息研究、自动化任务、智能助手开发等多个场景。
