发布

  • release: v2.12.0 — granular tools default, slimmer instructions
    Release / Build aarch64-apple-darwin (push) Has been cancelled
    Release / Build x86_64-apple-darwin (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

    frostbyte_neo 发布于 2026-03-31 21:17:23 +00:00

    • Unified mode no longer default: all clients now get 25 individual
      ctx_* tools. Unified meta-tool available via LEAN_CTX_UNIFIED=1.
    • MCP instructions reduced ~40%: removed verbose CEP examples,
      Output Budget rules, and redundant enforcement prose.
    • Rules injection reduced ~60%: eliminated duplication with MCP
      instructions, focused on compact tool mapping table.
    • Addresses user reports of models inconsistently calling MCP tools
      in newer versions due to instruction overload.

    Made-with: Cursor

    下载附件