Jedi Librarian

When Jedi Librarian enters the battlefield, you may search your library for
an artifact card with converted mana cost 3, reveal it, put it into your hand, then shuffle your library.