If you’re thinking of Jamie Gorelick she was not a CIA agent as far as I know.
CIA’s official payroll is classified.