Event Hooks

lean-prover

1 event · 2 hooks

Install

Run in your terminal

npx claudepluginhub psychquant/psychquant-claude-plugins --plugin lean-prover

Risk Indicators

Modifies files

Source

Defined in hooks/hooks.json

Configuration

{
  "PostToolUse": [
    {
      "hooks": [
        {
          "type": "command",
          "command": "FILE_PATH=$(echo \"$CLAUDE_TOOL_INPUT\" | jq -r '.file_path // empty'); if [[ \"$FILE_PATH\" == *.lean ]] && [[ \"$FILE_PATH\" != *.lake/* ]]; then DIR=$(dirname \"$FILE_PATH\"); while [[ \"$DIR\" != \"/\" ]]; do if [[ -f \"$DIR/lakefile.toml\" ]]; then cd \"$DIR\" && BUILD=$(lake build 2>&1); SORRY=$(echo \"$BUILD\" | grep -c \"uses .sorry.\" || true); ERROR=$(echo \"$BUILD\" | grep -c \"error:\" || true); if [[ $ERROR -eq 0 ]]; then echo \"lake build ok — $SORRY sorry remaining\"; else echo \"lake build failed ($ERROR errors)\"; echo \"$BUILD\" | grep -A 2 'error:' | head -20; fi; break; fi; DIR=$(dirname \"$DIR\"); done; fi"
        }
      ],
      "matcher": "Edit"
    },
    {
      "hooks": [
        {
          "type": "command",
          "command": "FILE_PATH=$(echo \"$CLAUDE_TOOL_INPUT\" | jq -r '.file_path // empty'); if [[ \"$FILE_PATH\" == *.lean ]] && [[ \"$FILE_PATH\" != *.lake/* ]]; then DIR=$(dirname \"$FILE_PATH\"); while [[ \"$DIR\" != \"/\" ]]; do if [[ -f \"$DIR/lakefile.toml\" ]]; then cd \"$DIR\" && BUILD=$(lake build 2>&1); SORRY=$(echo \"$BUILD\" | grep -c \"uses .sorry.\" || true); ERROR=$(echo \"$BUILD\" | grep -c \"error:\" || true); if [[ $ERROR -eq 0 ]]; then echo \"lake build ok — $SORRY sorry remaining\"; else echo \"lake build failed ($ERROR errors)\"; echo \"$BUILD\" | grep -A 2 'error:' | head -20; fi; break; fi; DIR=$(dirname \"$DIR\"); done; fi"
        }
      ],
      "matcher": "Write"
    }
  ]
}

Summary

"Runs check-artifact.sh script after PostToolUse for Write|Edit tool calls to check generated files, performing file writes."

Similar Hooks

claude-mem

5 events · 7 hooks

claude-mem

45.7k

hookify

4 events · 4 hooks

hookify

15.9k

explanatory-output-style

1 event · 1 hook

explanatory-output-style

15.9k

Stats

Parent Repo Stars0

Parent Repo Forks0

Last CommitApr 2, 2026

Actions

View Source View Plugin View on GitHub View README

Tags

{ "PostToolUse": [ { "hooks": [ { "type": "command", "command": "FILE_PATH=$(echo \"$CLAUDE_TOOL_INPUT\" | jq -r '.file_path // empty'); if [[ \"$FILE_PATH\" == *.lean ]] && [[ \"$FILE_PATH\" != *.lake/* ]]; then DIR=$(dirname \"$FILE_PATH\"); while [[ \"$DIR\" != \"/\" ]]; do if [[ -f \"$DIR/lakefile.toml\" ]]; then cd \"$DIR\" && BUILD=$(lake build 2>&1); SORRY=$(echo \"$BUILD\" | grep -c \"uses .sorry.\" || true); ERROR=$(echo \"$BUILD\" | grep -c \"error:\" || true); if [[ $ERROR -eq 0 ]]; then echo \"lake build ok — $SORRY sorry remaining\"; else echo \"lake build failed ($ERROR errors)\"; echo \"$BUILD\" | grep -A 2 'error:' | head -20; fi; break; fi; DIR=$(dirname \"$DIR\"); done; fi" } ], "matcher": "Edit" }, { "hooks": [ { "type": "command", "command": "FILE_PATH=$(echo \"$CLAUDE_TOOL_INPUT\" | jq -r '.file_path // empty'); if [[ \"$FILE_PATH\" == *.lean ]] && [[ \"$FILE_PATH\" != *.lake/* ]]; then DIR=$(dirname \"$FILE_PATH\"); while [[ \"$DIR\" != \"/\" ]]; do if [[ -f \"$DIR/lakefile.toml\" ]]; then cd \"$DIR\" && BUILD=$(lake build 2>&1); SORRY=$(echo \"$BUILD\" | grep -c \"uses .sorry.\" || true); ERROR=$(echo \"$BUILD\" | grep -c \"error:\" || true); if [[ $ERROR -eq 0 ]]; then echo \"lake build ok — $SORRY sorry remaining\"; else echo \"lake build failed ($ERROR errors)\"; echo \"$BUILD\" | grep -A 2 'error:' | head -20; fi; break; fi; DIR=$(dirname \"$DIR\"); done; fi" } ], "matcher": "Write" } ] }