agent0 documentation and notebook examples can be built locally using the provided Makefile using make html.