Adjacent to this, I have an item in my unplan to review Fort as of this AM.
https://fortproject.net/en/validator
(Disclaimer: I mentored the guy who ported pf to FreeBSD and approved his commits, and Marcus Ranum was on my now-deleted Facebook friends list)