c# - 将 UTC 转换为 GPS 时间

Question

如这里和这里所述，UTC 和 GPS 时间之间存在差异，因为 UTC 有时会应用闰秒。

截至 2021 年，差异为 18 秒。所以目前的等式是：

var gpsTime = utcDate.AddSeconds(18);

我需要计算各种日期（过去和不久的将来）的 gpsTime。我可以存储一个闰秒列表，并计算出任何特定日期的 GPS 增量。但我不希望此代码的未来维护者必须记住在新的闰秒出现时手动更新列表。相反，最好使用一个总是最新的库（由开源社区维护）。

任何人都知道图书馆可以：

1. 将 UTC 转换为 GPS 时间，或
2. 提供闰秒列表？

这些是否存在于 .NET 框架或 Nuget 上的某个库中？