搜索结果：tool（608 个）
按分类缩小范围
patch-package
综合 63
可立即修补并持久化 node_modules 依赖问题的实用工具。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
es-toolkit
综合 63
现代化 JavaScript 工具库，体积较 lodash 缩小多达 97%，执行速度提升 2 至 3 倍。
meetily
综合 62
面向 Windows 和 macOS 的本地 AI 会议记录工具。基于本地 Whisper/Parakeet 转录并识别人声，Granola 开源替代品。
capistrano
综合 62
基于 Ruby、Rake 和 SSH 构建的自动化部署工具。
pgx
综合 62
面向 Go 语言的高性能 PostgreSQL 驱动和工具包。
tabby
综合 62
支持自托管的 AI 代码辅助工具。
SwarmUI
综合 62
模块化 Stable Diffusion Web 界面，注重易用高级工具、高性能与可扩展性。
CL4R1T4S
综合 62
收集整理并公开 ChatGPT、Claude、Gemini、Cursor 等主流 AI 系统的系统提示词集合。
dbeaver
综合 62
免费通用的多平台数据库管理工具与 SQL 客户端。
blitz
综合 62
专为 Next.js 打造的全栈开发工具集。
monolith
综合 62
可将完整网页打包保存为单个独立 HTML 文件的 CLI/GUI 工具及代码库。
Osintgram
综合 62
针对 Instagram 的 OSINT 开源情报分析工具，提供交互式终端来分析指定用户的账号信息。
bore
综合 62
极简的 CLI 内网穿透工具，可快速将本地服务映射到公网。
server
综合 62
专为开发者打造的开源屏幕共享工具服务端。
checkstyle
综合 62
Java 代码规范检查工具，默认支持 Google 与 Sun 编码规范且高度可配置。
cockpit-tools
综合 62
通用 AI IDE 账号管理工具，支持多账号切换、配额监控与多开实例管理。
inspector
综合 62
专为 MCP 服务器打造的确定性测试工具。
codebase-memory-mcp
综合 62
codebase-memory-mcp 是一款面向开发者与 AI Agent 的本地代码智能工具。它通过持久化知识图谱将代码、文档与基础设施互联，解决 AI 缺乏项目全局上下文的问题。核心提供标准 MCP 工具、多 Agent 集成、图谱可视化及感知代码变更的测试选择功能。
textgen
综合 62
本地 LLM 开源桌面端，支持文本、视觉与工具调用，提供兼容 OpenAI/Anthropic 的 API。