搜索结果：v（480 个）

基于 go generate 的 GraphQL 服务端 Go 语言库。

现代化的 Java 字节码编辑器。

即时通讯平台，Go 后端，提供 iOS、Android、Web 及 CLI 客户端并支持机器人。

开源免费的订阅与开销用量追踪工具，告别无用扣费。

用于将数字人或大语言模型（兼容 OpenAI、DeepSeek）连通实际业务系统的 Agent 框架。

用于生成图表、Diff 评审、方案审计及项目复盘等富文本 HTML 页面或幻灯片的 Agent 技能。

又一款 Nginx 的 WebUI 管理界面。

Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。

精选的 Claude Skills、资源与工具列表，用于定制 Claude AI 工作流。

自称首个真正意义上的 AI 开发者助手，专注于从零协作构建完整应用。

专为自由职业者打造的财务与管理工具，集成发票、工时追踪、对账、云存储与 AI 助手。

OpenClaw 技能精选合集，从官方注册库中筛选并分类整理了 5400 多个技能。

仅 25MB 的轻量跨平台数据库客户端，支持百余种数据库，内置 AI、MCP Server、CLI 与桌面端。

借助编程 Agent 的前端能力在 Web 上生成精美演示文稿（幻灯片）的工具。

Apache Texera 是一款面向人机协同数据科学的可视化工作流平台，解决复杂数据分析门槛高及协作难的问题。它通过直观 GUI 让用户构建分析流程，并结合能理解自然语言的 AI Agent 辅助任务。核心功能包括工作流实时协作编辑、运行时调试、多语言原生支持（Python/Java）以及支持云端扩展的并行大数据处理引擎。

Ogma 是面向飞行器和机器人系统的运行时监控器生成工具，解决安全监控难以集成到外部系统的难题。它基于 Copilot，可为 NASA cFS、ROS 和 F' 生成监控应用或组件，支持从 Graphviz、Mermaid 等图表生成监控器，并自动生成 C 结构体胶水代码。

开源的状态页、服务正常运行时间监控和故障应急响应工具。

Monoscope 是基于 Haskell 开发的开源可观测性平台，解决遥测数据存储成本高、检索难的问题。它支持将日志、指标和链路追踪低成本存入兼容 S3 的存储桶；核心功能包括原生 OpenTelemetry 集成、实时流式查看、大模型自然语言查询，以及通过 AI Agent 自动检测异常并发送报告。

Vercel 官方出品的 Agent Skills（智能体技能）工具合集。

本地优先的跨端记账工具，支持自建云/iCloud/WebDAV/S3 同步、AI 记账及 MCP。