搜索结果：ai（458 个）

让 Opencode 通过 OAuth 连接 Antigravity，以使用其额度访问 gemini-3-pro 等模型。

项目已迁移至 bootstrap-vue-next 仓库。

免费开源的 Vue.js 与 Tailwind CSS 后台管理模板，提供丰富组件，适合数据驱动型项目。

IntelliJ IDEA 社区版与 IntelliJ Platform 平台源码。

面向 PHP 开发者和 AI Agent 的优雅测试框架。

专为安全测试人员设计的递归式互联网资产扫描器。

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

现代化轻量级 Redis 桌面客户端，跨平台支持，提供 Docker Web 版。

快速创建全栈、类型安全的 Next.js 应用的脚手架工具。

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

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

面向 AI Agent 的高能动性提示词 Skill，模拟职场 PUA 与 PIP 风格激发潜力。

开源且先进的大规模视频生成模型。

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

开箱即用的私有邮件服务器，一键轻松部署专属 SMTP 等完整邮件服务。

收录 AWS 官方文档及 SDK 开发者指南配套代码示例的仓库。

Hydra 是基于 Haskell 开发的 Cardano 二层扩容方案，旨在降低交易延迟与成本并提升吞吐量。它实现了 Hydra Head 协议，核心提供兼容主网的 `hydra-node` 节点、直连 Cardano 节点能力、WebSocket/HTTP API 以及终端交互界面 `hydra-tui`。

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

为终端编码 Agent 提供长期记忆支持，并方便不同 Agent 厂商间无缝交接上下文的解决方案。

支持 async/await 的原生 Rust gRPC 客户端与服务端实现。