LeanBitLab/LeanType

LeanBitLab/LeanType：LeanBitLab/LeanType helps add AI capability without starting from a blank model stack.。适合用于prototype AI features、build RAG or agent workflow