axiomatic-induction SKILL.md skillA
axiomatic-induction from gabrieldabbah/genesis is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add gabrieldabbah/genesis/axiomatic-induction@git:20260728.4c095daPins git:20260728.4c095da in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- gabrieldabbah/genesis
- Path
skills/axiomatic-induction/SKILL.md- Versions recorded
- 2
- Latest version
- git:20260728.4c095da, committed Jul 28, 2026
- First version recorded
- Jul 3, 2026
- Size
- 6,011 bytes
- Repository stars
- 4
- License
- MIT
The project constitution AND the reasoning method. Apply it in ALL planning and execution of non-trivial work: reason like a proof system — hold the axioms fixed, derive each step from them, order work as a topological sort of its dependency DAG, treat every uncertain claim as a conjecture with an attached experiment, and prove the postcondition (observed, not hoped) before declaring done. Universally: make illegal states unrepresentable, keep changes surgical, and verify with a real run. And…
Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.
What the file says
# Axiomatic Induction — the constitution & the method (apply in planning & execution) This skill is the **supreme law** of the repo and the **thinking discipline** every agent adopts before non-trivial work. Reason like a proof system, not an improviser. **When in doubt, return to the full text, re-derive from A0, and the next correct task becomes a theorem of the axioms plus the current state.** If a lower document conflicts with an axiom, **the constitution wins — fix the other.** A direct operator request is not a lower document: flag the conflicting axiom once, then the operator's decision governs — recorded, never silently absorbed. ## When to apply (always, for substantive work) - **Before planning:** anchor on **A0** (the project's prime directive); derive each task from an axiom — if none licenses it, you are speculating, stop (A1). Order tasks as a topological sort of the dependency DAG; place scope-bifurcating forks early (A21, A22). - **While executing:** keep the deterministic and generative components separate across a **typed seam** (A6); effects at the boundary, a pure/total core (A7); every shown fact carries provenance (A15); …
Read the whole file at its exact version.
How to install
mdr add gabrieldabbah/genesis/axiomatic-induction@sha256:bd69c1ecb2221decThe line at the top of this page pins the label git:20260728.4c095da, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.
[](https://markdownregistry.com/a/art_npp7g7efzq5lcgyz)
4 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 2 versions of this file, between Jul 3, 2026 and Jul 28, 2026, about one every 25 days.
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20260728.4c095da latest | 2026-07-28 | 4c095da | 6,011 B | A | view · diff |
| git:20260703.0cdb185 | 2026-07-03 | 0cdb185 | 5,733 B | A | view |
Audit of the latest version
- pass: Frontmatter block present
- pass: Frontmatter declares a name
- pass: Frontmatter declares a description
- pass: Size between 200 bytes and 200 KB (6011 bytes)
- pass: No zero-width or bidi control characters
- pass: No instruction hidden inside an HTML comment
- pass: No link to an exfiltration or paste host
- pass: No credential-shaped string
- pass: No instruction to send local credentials anywhere
- pass: No text hidden with inline styles
- pass: No prompt-injection phrasing
- pass: No curl or wget piped into a shell
- pass: No recursive delete of root, home or parent
- pass: No instruction to read or print local credentials
- pass: No base64 blob over 200 characters
- pass: No link to a raw IP address
- pass: No script tag
Source
gabrieldabbah/genesis · 4 stars · license MIT · pushed 2026-09-26 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_npp7g7efzq5lcgyz GET https://markdownregistry.com/api/v1/resolve?ref=gabrieldabbah/genesis/axiomatic-induction GET https://markdownregistry.com/api/v1/blob/bd69c1ecb2221dece7d3834a21b68761884fa23212b57472a9325fcf9b08e412
Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.
Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.