Este documento enfatiza la importancia de asegurar la corrección funcional para asegurar la confiabilidad y seguridad de las implementaciones de protocolos de red, y se enfoca en detectar inconsistencias entre documentos RFC e implementaciones. Para superar las limitaciones de las herramientas de análisis estático existentes, proponemos RFCAudit, un agente autónomo que aprovecha un modelo de lenguaje a gran escala (LLM) para verificar la conformidad entre las implementaciones de protocolo y las especificaciones RFC. RFCAudit consiste en un agente de indexación y un agente de detección. Resume jerárquicamente la semántica del código de protocolo y genera un índice semántico usado para limitar el alcance de la detección. El agente de detección recopila iterativamente estructuras y funciones de datos relevantes a través de la recuperación basada en demanda para identificar efectivamente posibles inconsistencias con la especificación RFC. A través de evaluaciones en seis implementaciones de protocolos de red del mundo real, RFCAudit identificó 47 errores funcionales con una precisión del 81.9%, 20 de los cuales fueron confirmados o corregidos por los desarrolladores.