工具

1. 首页
2. 工具

ChatTS

ChatTS-14B 是一款由字节跳动开发的大型语言模型，专为时间序列数据的理解与推理设计，具备 140 亿参数规模。通过合成数据对齐技术提升任务表现，支持自然语言交互，可应用于金融、气象、工业、医疗和运维等多个场景，提供数据分析、预测与诊断功能。模型已开源，便于开发者使用和扩展。

AI项目与工具 2025年06月11日 73 点赞 0 评论 649 浏览

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。

AI项目与工具 2025年06月11日 33 点赞 0 评论 649 浏览

LightPDF

LightPDF是一款基于AI的在线PDF处理工具，支持格式转换、OCR识别、文本编辑、注释标注、水印添加、页面操作、加密解密、数字签名等功能。用户可通过智能聊天功能提取文档关键信息并生成摘要，支持多语言处理。适用于文献管理、内容创作、移动扫描及文件处理等多种场景。

AI项目与工具 2025年06月12日 17 点赞 0 评论 649 浏览

CodeCV

CodeCV是一款面向互联网从业者的在线简历制作工具，支持Markdown和所见即所得编辑模式。它提供多种免费模板，并具备AI辅助功能，如简历润色和中英互译。用户可自由选择模板并专注内容创作，系统自动完成排版和分页，支持多格式导出，广泛应用于个人求职、职业发展、学生实习、自由职业和跨区域求职等场景。

AI项目与工具 2025年06月12日 86 点赞 0 评论 649 浏览

Sky

Sky-T1是由加州大学伯克利分校NovaSky团队开发的开源推理AI模型，具备高性价比和强大推理能力。其训练成本仅450美元，数据来源经过优化处理，可在数学、编程和科学领域表现出色。模型支持用户从零复现，适用于教育、科研及软件开发等场景。在MATH500和LiveCodeBench测试中，Sky-T1表现优于部分早期OpenAI模型，展现出良好的实用价值。

AI项目与工具 2025年06月12日 12 点赞 0 评论 649 浏览

Ymiai论文写作

毕业季将至，很多同学是不是都在为论文抓狂？ 既要白天上班实习 又要晚上熬夜改论文，写实习报告...... 每天都焦虑的苦不堪言，但不要慌，今天我将手把手教大家如何利用Ymiai快速完成论文写作, 帮你攻克这个难题。

AI写作对话 2025年06月05日 59 点赞 0 评论 648 浏览

在线改图

在线改图，一款不需要注册，直接免费使用的简便在线图片编辑工具，并且注重隐私保护，不上传您的图片。

图片处理 2025年06月05日 83 点赞 0 评论 648 浏览

MCP Servers

MCP Servers是字节跳动推出的大模型生态平台，为开发者提供高效、灵活的大模型开发与部署环境。通过MCP协议集成搜索、数据库、API等工具，支持模块化开发和全链路闭环。平台整合MCP Market、火山方舟和Trae，实现从工具调用到应用部署的全流程。支持Local和Remote部署模式，涵盖自动化代码生成、智能数据库运维、跨仓库调试等应用场景，助力开发者提升效率。

AI项目与工具 2025年06月11日 21 点赞 0 评论 648 浏览

Llama Tutor

Llama Tutor 是一款基于 AI 的开源个性化学习平台，利用 Llama 3.1 和 Together AI 技术生成定制化学习计划，涵盖多学科领域，提供互动式学习体验和精准解答。支持个人学习、学术教育、职业发展和语言学习等应用场景，致力于打造高效、有趣的沉浸式学习环境。

AI项目与工具 2025年06月12日 77 点赞 0 评论 648 浏览

Trickle

Trickle 是一款零代码网页应用开发工具，通过自然语言输入即可快速构建功能完善的网页应用。它支持自动生成前端、后端及数据库，具备一键发布和托管功能。内置图像优化、数据分析和文案生成等 AI 能力，并提供丰富模板库。适用于小商家、创业者、设计师及企业等多种场景，提升开发效率与用户体验。

AI项目与工具 2025年06月12日 40 点赞 0 评论 648 浏览