Yes, KiCad uses ngSpice.
The ngSpice website on sourceforge is a good place to get more information (inclusive the official ngSpice manual).
No, there are no libraries with spice models (except from the built in sources and passives) delivered as part of KiCad, you have to cobble them together form the internet.
There is a collection of examples on this forum here: