搜索结果：smt（5 个）
按分类缩小范围
mailpit
综合 72
面向开发者的邮件与 SMTP 测试工具，提供 API 支持。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
mailinabox
综合 62
开箱即用的私有邮件服务器，一键轻松部署专属 SMTP 等完整邮件服务。
curl
综合 51
支持多种网络协议的命令行数据传输工具与开发库。
docker-mailserver
综合 44
开箱即用的容器化全栈邮件服务器，支持 SMTP、IMAP、LDAP、反垃圾邮件和防病毒等功能。