Lintspec is a command-line utility (linter) that checks the completeness and validity of NatSpec doc-comments in Solidity code. It is focused on speed and ergonomics and aims to improve the user experience over existing solutions.
Differential testing allows to compare implementations and is especially useful in Solidity, where optimizations are frequently made by replacing code with low-level YUL instructions. By leveraging the fast startup times and low footprint of Rust binaries via FFI, Foundry allows to efficiently integrate diff testing in Solidity projects.