Douglas Lenat's Automated Mathematician Source Code

Includes D&D character sheet:

https://www.saildart.org/NWOR[AM,DBL]1

Can someone in the know give a little summary of what we’re looking at here? What’s the purpose? How effective is the code/system at accomplishing its purpose? Etc…