云聚 AI Token Plan 满 199 减 35 元
port:80 AI Junkie
AI 重度玩家的工程笔记本
Anyrouter 开放可编程的智能路由
共 839 篇文章

标签:开源工具 第76页

BetterPrompt开源:AI提示词智能优化工具

BetterPrompt是一款开源的AI提示词优化工具,旨在解决开发者在日常工作中需要反复优化提示词的痛点。该工具提供Web界面,支持一键优化提示词并输出中英文版本,特别内置了DeepSeek免费API,降低使用门槛。开发者无需再手动复制提...

赞(0)ToyToy前沿 阅读(144)

开源AI工具:MCP客户端实现语义代码搜索

近期,一位开发者因现有AI工具如ACE-MCP需要账号、morphllm收费等问题,自行开发并发布了开源MCP客户端项目。该项目名为relace-mcp,提供多项核心功能:以每秒10,000+ token的高速进行代码编辑应用、利用自然语言...

赞(0)ToyToy前沿 阅读(133)

终端小说阅读器:用Rust将网页内容渲染到终端

一个用Rust语言编写的开源工具,能够将爱下电子书网的在线小说内容直接渲染到终端界面。该工具支持Linux和Windows系统,需要安装Chrome浏览器并进行编译。用户可通过命令行指定URL,使用headless模式实现网页操作,提供便捷...

赞(0)ToyToy前沿 阅读(134)

开源工具One-API-Hub:一站式管理AI中转站账号

One-API-Hub是一款开源的AI中转站管理工具,专为解决用户管理多个AI服务账号的痛点而设计。该工具支持查看账户信息、密钥管理、签到功能以及数据导入导出,兼容new-api、veloera、voapi和onehub等多种站点类型。用户...

赞(0)ToyToy前沿 阅读(200)

AI-in-One:多模型并行,对话更高效

你是否厌倦了在多个AI平台间反复切换?AI-in-One工具应运而生,它支持多模型并行调用,让你一次性提问,多个AI同时回答。所有对话集中展示,界面统一,直观对比结果,类似Midjourney的多图生成择优选用。完全免费开源,支持主流模型,...

赞(0)ToyToy前沿 阅读(160)

Litex:人人可用的形式化数学语言

Litex是一款简单的开源计算机语言,专为数学证明而设计。任何人只需两小时即可掌握其基本概念。尽管尚未达到生产就绪阶段,但Litex已具备足够强大的功能,能够形式化集合论和基本逻辑,满足大多数日常数学证明的需求。该工具为数学家和计算机科学家...

赞(0)ToyToy前沿 阅读(184)

开源工具newapi-tool:一键部署数据库API服务

本文介绍了一个实用的开源工具new_api_tools,由作者因多次遭遇公益站数据库端口勒索事件而开发。该工具在GitHub上开源,提供超级一键部署脚本,能自动检测newapi安装目录和网络环境,兼容PostgreSQL和MySQL数据库。...

赞(0)ToyToy前沿 阅读(274)