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.
npx skills add majiayu000/claude-skill-registry --skill godel-machine-plurigrid-asi-2 --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Gödel Machine Skill > *"A Gödel Machine can rewrite any part of itself, including the learning algorithm, provided it can first prove that the rewrite is beneficial."* > — Jürgen Schmidhuber ## Overview The **Gödel Machine** is a self-improving system that: 1. Contains a **formal proof system** (e.g., Lean4, Coq) 2. Has a **utility function** defining "better" 3. Can **rewrite any part of itself** if it proves the rewrite improves utility 4. The proof constraint prevents reckless self-modification ## Core Architecture ``` ┌─────────────────────────────────────────────────────┐ │ GÖDEL MACHINE │ ├─────────────────────────────────────────────────────┤ │ ┌─────────────┐ ┌─────────────┐ │ │ │ Policy │───▶│ Prover │ │ │ │ (current) │ │ (verifier) │ │ │ └─────────────┘ └──────┬──────┘ │ │ ▲ │ │ │ │ ┌──────▼──────┐ │ │ │ │ Candidate │ │ │ │ │ Policy │ │ │ │ └──────┬──────┘ │ │ │ │ │ │ ┌──────┴──────┐ ┌──────▼──────┐ │ │ │ Rewrite │◀────│ Utility │ │ │ │ if proof │ │ Check │ │ │ └─────────────┘ └─────────────┘ │ └─────────────────────────────────────────────────────┘ ``` ## Darwin Gödel Machine (DGM) Combines **evolutionary search** with **formal proofs**: ```python class DarwinGodelMach
- Overview
- Core Architecture
- Darwin Gödel Machine (DGM)
- GF(3) Triads
- Integration with Interaction Entropy
- Key Properties
- References
What does the godel-machine skill do?
Schmidhuber's Gödel Machine: Self-improving systems that prove their own improvements. Darwin Gödel Machine (DGM) combines evolution with formal verification.
How do I install it?
Run `npx skills add majiayu000/claude-skill-registry --skill godel-machine-plurigrid-asi-2 --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From majiayu000/claude-skill-registry, a repository with 534 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.