搜索结果：ip（177 个）

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

Umami 是注重隐私的网站与产品分析平台，不依赖 Cookie，支持自托管或云端部署，帮你一站式统计流量、行为与转化数据。

个人 AI 助手，安装简便，支持本地或云端部署，适配多款聊天应用且功能易扩展。

开源 Agent 评估与可观测性平台，用于追踪、评估和持续改进 LLM 应用。

开源 VPN 工具，注重速度、隐私保护与网络畅通，支持全主流桌面与移动平台。

高度可定制的应用导航页与仪表盘，深度集成 Docker 与第三方服务 API。

Dify 是一个 AI 协同开发平台，用于构建 Agent 工作流与 RAG 管道，支持多种模型与工具，助团队从原型快速落地生产。

基于 FastAPI 与 React 的全栈 Web 模板，集成 SQLModel、PostgreSQL、Vite 及 Docker Compose。

支持 REST、GraphQL、gRPC 等协议的跨平台开源 API 客户端，支持本地、云端与 Git 存储。

Cloudflare CDN 自选优选 IP 测速工具，帮你快速找出延迟最低、速度最快的 IP。

将多种 AI 代码工具封装为兼容 OpenAI/Gemini/Claude 等规范的 API 服务。

通过 HTTP 响应识别软件指纹并在 Vulners 查询，将服务扫描结果转化为 CVE、CVSS 分数及已知漏洞利用的 Nmap NSE 脚本。

Serverless 架构框架，基于 AWS Lambda 等托管云服务，构建免维护、自动扩缩且闲置零成本的应用。

提供简洁高效 Web 界面的 Nginx 反向代理管理 Docker 容器。

可将完整网页忠实还原并保存为单个 HTML 文件的浏览器扩展。

基于 Cloudflare 构建的一站式开源邮件服务平台。

一款自托管的有声书和播客服务器，用于搭建私有服务来管理和收听你的有声书与播客。

一款高性能自托管照片和视频管理工具，支持私有化部署，可作为 Google Photos 替代品备份与管理个人相册。

一款开箱即用、界面美观的自托管运维监控工具。

Portainer 是一款可视化管理面板，旨在让 Docker 和 Kubernetes 等容器环境的管理与部署变得更简单。