diff --git a/.claude/settings.json b/.claude/settings.json
new file mode 100644
index 0000000000..eddea20b83
--- /dev/null
+++ b/.claude/settings.json
@@ -0,0 +1,13 @@
+{
+  "extraKnownMarketplaces": {
+    "leanprover": {
+      "source": {
+        "source": "github",
+        "repo": "leanprover/skills"
+      }
+    }
+  },
+  "enabledPlugins": {
+    "lean@leanprover": true
+  }
+}
diff --git a/.gitignore b/.gitignore
index f4625868ad..447cc92071 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,6 +18,7 @@ compile_commands.json
 *.idea
 tasks.json
 settings.json
+!.claude/settings.json
 .gdb_history
 .vscode/*
 script/__pycache__