搜索结果：tool（273 个）

专为移动端浏览器打造的调试控制台工具。

Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。

通过 Chrome DevTools Protocol 驱动和控制浏览器的快速、轻量方案。

基于 Ruby、Rake 和 SSH 构建的自动化部署工具。

支持自托管的 AI 代码辅助工具。

免费通用的多平台数据库管理工具与 SQL 客户端。

可将完整网页打包保存为单个独立 HTML 文件的 CLI/GUI 工具及代码库。

针对 Instagram 的 OSINT 开源情报分析工具，提供交互式终端来分析指定用户的账号信息。

极简的 CLI 内网穿透工具，可快速将本地服务映射到公网。

Java 代码规范检查工具，默认支持 Google 与 Sun 编码规范且高度可配置。

通用 AI IDE 账号管理工具，支持多账号切换、配额监控与多开实例管理。

专为 MCP 服务器打造的确定性测试工具。

本地 LLM 开源桌面端，支持文本、视觉与工具调用，提供兼容 OpenAI/Anthropic 的 API。

使用 Go 开发的高速、简洁的视频下载库和 CLI 命令行工具。

Apache JMeter 开源负载测试工具，用于分析和测量各类服务的性能表现。

一款管理 Git worktree 的 CLI 工具，专为并行 AI agent 工作流设计，方便处理多任务开发。

Izumi 是提升 Scala 开发效率的独立工具与框架生态。它主要解决纯函数式 Scala（支持 Cats Effect、ZIO 等）在工程化中的繁琐痛点，核心提供编译期安全的依赖注入（distage）、跨测试共享资源的测试套件、基于字符串插值的结构化日志（LogStage）以及 Docker 测试集成等实用功能。

面向实时 Web 应用、具备高扩展性与协作能力的分布式文档-图数据库。

Mac 本地 AI 工具，基于 Apple Intelligence，提供 CLI、兼容 OpenAI 的服务及交互式聊天，无需 API Key 和联网。

用于在终端展示 Git 仓库概览信息的命令行工具。