Kim Morrison 6d305096e5 chore: fix profiler shebang and add profiling skill (#12519) ...

This PR changes the shebang in `lean_profile.sh` from `#!/bin/bash` to
`#!/usr/bin/env bash` so the script works on NixOS and other systems
where bash is not at `/bin/bash`, and adds a Claude Code skill pointing
to the profiler documentation.

🤖 Prepared with Claude Code

Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>

2026-03-01 07:09:33 +00:00

..

profiling

chore: fix profiler shebang and add profiling skill (#12519)

2026-03-01 07:09:33 +00:00

zulip-extract

chore: add Claude skill for extracting message content from Zulip threads (#12587)

2026-02-19 12:48:58 +00:00