admin的文章

Kimina

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

499 0

BlenderMCP

BlenderMCP 是一款将 Blender 与 Claude AI 集成的工具，通过 socket 服务器实现双向通信，支持 3D 对象操作、材质控制、场景信息获取及 Python 代码执行。用户可通过自然语言指令高效完成建模任务，提升创作效率。工具由插件和服务器组成，采用 JSON 协议进行数据交互，适用于快速建模、场景优化及教育辅助等场景。

279 0

OpenAI o4

OpenAI o4-mini 是一款高性能、低成本的小型推理模型，专为快速处理数学、编程和视觉任务优化。它具备多模态能力，可结合图像与文本进行推理，并支持工具调用以提高准确性。在多项基准测试中表现优异，尤其在数学和编程领域接近完整版模型。适用于教育、数据分析、软件开发及内容创作等多个场景，是高效率与性价比兼备的AI工具。

392 0

AI写作猿

AI写作猿是一款基于AI技术的多功能写作辅助平台，提供AI写作、对话、伪原创、文案提取、AI绘画及PPT生成等功能，适用于内容创作、文案撰写、学习辅导和商业策划等场景。界面友好、操作便捷，支持多领域咨询服务，帮助用户提升写作效率与质量。

229 0

Codex CLI

Codex CLI 是一款基于 OpenAI 模型的轻量级 AI 编程工具，支持通过自然语言指令生成代码、执行文件操作、进行数据库迁移等。它具备代码重构、测试生成、解读及多模态处理能力，适用于开发者在终端中高效完成多种编程任务。工具兼容主流操作系统，提供安全的沙盒执行环境，并支持个性化配置。

390 0

CopyOwl.ai

CopyOwl.ai 是一款AI驱动的内容生成工具，支持学术写作、博客创作、市场报告及商业提案等多种场景。它能根据用户输入快速生成结构清晰、引用准确的内容，并支持风格定制。适用于学生、研究人员、企业用户等，提升内容创作效率与专业性。

331 0

Neural4D 2o

Neural4D 2o 是一款基于多模态数据训练的 3D 大模型，支持文本、图像、3D 和运动数据输入，实现高精度的 3D 内容生成与编辑。具备上下文一致性、角色身份保持、换装和风格迁移等功能，支持自然语言指令操作。采用 Transformer 编码器与 3D DiT 解码器架构，原生兼容 MCP 协议，提升创作效率与交互体验，适用于 3D 内容创作、游戏开发、影视动画等多个领域。

323 0

ChartAI

ChartAI 是一款人工智能驱动的数据分析与可视化工具，可将复杂数据快速转换为直观图表，支持多种图表类型和个性化定制。具备智能推荐、交互式分析、趋势预测等功能，适用于商业、财务、市场及教育等多场景，提升数据解读与决策效率。

389 0

HyperChat

HyperChat 是一款开源的 AI 聊天客户端，支持多种语言模型 API 接入，如 OpenAI、Claude 等。基于 MCP 协议构建，具备插件扩展能力，支持多对话空间、Agent 自定义、WebDAV 同步等功能。适用于个人学习、团队协作、内容创作、代码开发及企业服务等多种场景，提供跨平台运行与灵活部署方式，兼顾高效性与安全性。

407 0