工具

Palettemaker

一款面向创意专业人士和色彩爱好者的独特工具,可让您在来自最常见创意领域(例如徽标设计、UI/UX、图案、海报等)的设计中创建调色板。

MolyPix.AI

Molypix.AI是一款利用生成式AI技术的在线图形设计工具,支持用户通过简单文字输入快速生成专业级视觉内容。平台提供多样化的模板及强大的编辑功能,适用于海报、邀请函、明信片等多个领域,同时拥有免费及付费版本供不同需求用户选择。

氢刻AI

在氢刻,用卡片笔记的方式建立自己的知识体系,并通过艾宾浩斯曲线算法科学复习记忆,快速记住知识;氢刻AI将自动为您建立智能知识库,成为专属的永久记忆。

TheDream.ai

TheDream.ai 是一款基于AI技术的图像生成工具,支持个性化头像和创意图像生成,提供200多种风格选择。用户上传照片后,可快速生成符合需求的图像,适用于社交媒体、职业形象和创意设计等场景。工具注重隐私保护,界面友好,操作便捷,适合各类用户使用。

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统,通过改进广度优先搜索算法和长度归一化评分机制,提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构,支持复杂定理的高效验证,并与 Lean4 深度集成,确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域,推动了自动定理证明技术的发展。

RenderForest

RenderForest,人工智能 LOGO生成器,基于文本描述生成视觉内容的算法,以及细分行业和风格的 LOGO 模板,帮你更加精准地生成 LOGO。

AddressCLIP

AddressCLIP 是一种基于 CLIP 技术的端到端图像地理定位模型,由中科院自动化所与阿里云联合开发。它通过图像与地址文本对齐和地理匹配技术,实现街道级别的精确定位,无需依赖 GPS。模型在多个数据集上表现优异,适用于城市管理、社交媒体、旅游导航等多个场景,具备良好的灵活性和多模态结合潜力。

BetterBugs

BetterBugs是一款基于Chrome浏览器的扩展工具,通过一键式屏幕捕获、屏幕录制和自动技术信息收集等功能,帮助用户高效生成详细的bug报告。它支持与多种项目管理和沟通工具集成,适用于软件开发、质量保证、项目管理和客户支持等多个场景,旨在提升团队协作效率和问题解决速度。

Manga Image Translator

Manga Image Translator 是一个开源的漫画图片文字翻译工具,基于 OCR 和机器翻译技术,实现对漫画和图片中文字的自动识别与翻译。它支持多语言翻译,包括日文、中文、英文和韩文,并具备图像合成能力,保持原图风格。工具提供批量处理和在线/离线翻译功能,适用于漫画爱好者、语言学习者以及出版商等用户群体。