I would be pretty comfortable if md5 hashes of executables and configs matched a known-good record. "Proof" is a big word here, it is difficult to *prove* a machine is not infected.
EDIT: rkhunter is an example of a Linux program that does this sort of comparison


