Agent Skills: godel-machine

Schmidhuber's Gödel Machine: Self-improving systems that prove their own improvements. Darwin Gödel Machine (DGM) combines evolution with formal verification.

UncategorizedID: plurigrid/asi/godel-machine

Author

plurigrid

https://github.com/plurigrid View all skills

Repository

plurigrid/asi

plurigridLicense: MIT

165

Install this agent skill to your local

pnpm dlx add-skill https://github.com/plurigrid/asi/godel-machine

Skill Files

Browse the full folder contents for godel-machine.

Download Skill

Loading file tree…

Select a file to preview its contents.