The library where you pass a plain numeric Python function and get exact limits via algebraic infinitesimal arithmetic.
To my knowledge, this is the first library that does this directly on plain Python functions.
It eliminates edge-case handling and numerical instability at singularities, you just write the function and evaluate it everywhere.