kencyke · kencyke · Jun 17, 2026 · Jun 17, 2026 · Jun 21, 2026 · Jun 21, 2026
diff --git a/.claude/agents/math-extractor.md b/.claude/agents/math-extractor.md
diff --git a/.claude/agents/math-reviewer.md b/.claude/agents/math-reviewer.md
diff --git a/.claude/settings.json b/.claude/settings.json
@@ -6,18 +6,5 @@
   "enabledPlugins": {
     "lean4@lean4-skills": true,
     "skill-creator@claude-plugins-official": true
-  },
-  "hooks": {
-    "PostToolUse": [
-      {
-        "matcher": "Edit|Write|NotebookEdit",
-        "hooks": [
-          {
-            "type": "command",
-            "command": "sh -c 'script=\"${CLAUDE_PROJECT_DIR}/.claude/skills/pdf-to-knowledge/hooks/on_index_change.py\"; [ -f \"$script\" ] && exec python3 \"$script\" || exit 0'"
-          }
-        ]
-      }
-    ]
   }
 }
diff --git a/.claude/settings.local.json b/.claude/settings.local.json
@@ -2,7 +2,13 @@
   "permissions": {
     "defaultMode": "auto",
     "allow": [
-      "WebFetch(domain:github.com)"
+      "WebFetch(domain:github.com)",
+      "WebSearch",
+      "WebFetch(domain:arxiv.org)",
+      "WebFetch(domain:ncatlab.org)",
+      "WebFetch(domain:leanprover.zulipchat.com)",
+      "WebFetch(domain:www.isa-afp.org)",
+      "Bash(uv run .claude/skills/math-extract/scripts/ingest.py:*)"
     ]
   },
   "language": "japanese"

diff --git a/.claude/skills/gap-filler/SKILL.md b/.claude/skills/gap-filler/SKILL.md
diff --git a/.claude/skills/gap-filler/references/workflow.md b/.claude/skills/gap-filler/references/workflow.md