Build error Agents Stack Project To Mathlib4 Search 🐠 Search for theorems in Mathlib4 using Stack project' data
