lean4-htt/AGENTS.md at master - max/lean4-htt - maxgit: wireguard access, git repository.

max/lean4-htt

Kim Morrison 3e9ed3c29d

chore: add AGENTS.md symlink to CLAUDE.md (#13461 )

This PR adds an `AGENTS.md` symlink to `.claude/CLAUDE.md` so
Codex-style repository instructions can resolve to the same checked-in
guidance Claude Code already uses.

This keeps the repository's agent-facing instructions in one place
instead of maintaining separate copies for different tools. Previous
Codex runs did not automatically pick up the existing
`.claude/CLAUDE.md` guidance, which caused avoidable drift in PR
formatting and workflow behavior.

2026-04-18 06:48:05 +00:00

Symbolic link

1 line

No EOL

17 B

Markdown

Follow symlink Raw Permalink Blame History

.claude/CLAUDE.md