How about an LLM agent which automatically finds inconsistencies in RFCs.