I've build a tool to detect differences between _my local_ mempool and what miners include in their block (there will always be slight differences). This is primarily intended to detect censorship, but can also detect transactions that never entered _my_ mempool.