lean4-theorem-proving

1 event · 1 hook

Source

Defined in ./hooks/hooks.json

Configuration

{
  "SessionStart": [
    {
      "hooks": [
        {
          "type": "command",
          "command": "${CLAUDE_PLUGIN_ROOT}/hooks/bootstrap.sh startup",
          "timeout": 20
        }
      ],
      "matcher": "startup"
    }
  ]
}

Summary

{
  "riskFlags": {
    "touchesBash": false,
    "matchAllTools": false,
    "touchesFileWrites": false
  },
  "typeStats": {
    "command": 1
  },
  "eventStats": {
    "SessionStart": 1
  },
  "originCounts": {
    "absolutePaths": 0,
    "pluginScripts": 1,
    "projectScripts": 0
  },
  "timeoutStats": {
    "commandsWithoutTimeout": 0
  }
}