Lumen

Drop in a PDF. Lumen pulls out every checkable fact, grounds each one to its exact source line, and shows you what agrees, what conflicts, and why — across every document you upload.