Formalizing Data Structures and Algorithms with Agents