New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add autogpt example #3

Open

Maknee wants to merge 1 commit into zhudotexe:main from Maknee:autogpt-example

Contributor

Maknee commented Aug 6, 2023

Adds a very basic version of autogpt as a more complex example


          Add autogpt example

ede89dc

Owner

zhudotexe commented Aug 6, 2023

Cool! Since the docs don't go into too much detail about the impl, you might want to just remove the code block and link to the source.

Alternatively, we could have like a "see also" section at the bottom of advanced.rst for more involved examples:

See Also
--------
Our examples also showcase cool advanced use cases with kani, some of which are highlighted here.

AutoGPT
^^^^^^^
[desc, link, example output]

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet