github-featured / yvgude--lean-ctx

发布

0 发布 257 Git 标签

RSS 订阅源
  • v3.5.13 4a9cb1da25
    比较

    v3.5.13: instruction file protection — never compress SKILL.md/AGENTS.md/rules, Windows PowerShell hooks
    Release / Build aarch64-apple-darwin (push) Has been cancelled
    详情
    Release / Build x86_64-apple-darwin (push) Has been cancelled
    详情
    Release / Build aarch64-unknown-linux-musl (push) Has been cancelled
    详情
    Release / Build aarch64-unknown-linux-gnu (push) Has been cancelled
    详情
    Release / Build x86_64-unknown-linux-musl (push) Has been cancelled
    详情
    Release / Build x86_64-unknown-linux-gnu (push) Has been cancelled
    详情
    Release / Build x86_64-pc-windows-msvc (push) Has been cancelled
    详情
    Release / Create Release (push) Has been cancelled
    详情
    Release / Publish to crates.io (push) Has been cancelled
    详情
    Release / Publish to npm (push) Has been cancelled
    详情
    Release / Update Homebrew (push) Has been cancelled
    详情

    frostbyte_neo 发布于 2026-05-10 06:52:21 +00:00

    • Add is_instruction_file() guard in 5 code paths (resolve_auto_mode, predict_from_defaults, select_mode_with_task, auto_degrade_read_mode, CLI read_cmd)
    • Exempt .md/.mdx/.txt/.rst from aggressive compression defaults
    • Windows Claude Code hooks: add PowerShell|powershell matcher
    • Lean4 proofs: Theorems 12-13 for instruction guard invariants
    • 7 new regression tests

    Fixes #159 regression, #192

    Co-authored-by: Cursor cursoragent@cursor.com

    下载附件