搜索结果：proto（7 个）
按分类缩小范围
fastapi_mcp
综合 72
将 FastAPI 端点直接转换为 MCP（模型上下文协议）工具，并支持鉴权。
opennhp
综合 64
基于 IETF 草案实现网络基础设施隐藏协议（NHP），在建连前完成密码学认证，隐藏基础设施以防攻击。
gun
综合 64
用于同步去中心化图数据的开源网络安全协议与分布式数据库。
sftpgo
综合 62
功能完备、高可配置的多协议传输服务器，支持 SFTP/WebDAV 及 S3 等多种存储后端。
union （零知识证明跨链桥协议）
综合 53
面向去中心化金融、抗审查且高安全性的最小化信任零知识证明跨链桥协议。
rathole
综合 52
基于 Rust 的轻量高性能 NAT 穿透反向代理，可替代 frp 和 ngrok。
tamarin-prover
综合 42
Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。