hf-papersBrowse trending papers, search by keyword, and get paper details from Hugging Face Papers
formal-proversFormal verification with Lean 4, Coq, and Z3 SMT solver
arxiv-sourceRead and analyze arXiv papers by fetching LaTeX source, listing sections, or extracting abstracts