v6.1.4

Three new language/agent integrations plus a scripting-friendly install flag, all from community contributions — thank you @tanguc, @davidullo, @hacklex, and @Puppo! 🎉

Added

• ActionScript (AS2/AS3) extractor (.as). Tree-sitter grammar (vendored from jcs090218/tree-sitter-actionscript, compiled by build.rs) behind the lang-actionscript feature (Full tier). Extracts classes, interfaces, methods, constructors, fields/consts, and imports with Contains/Extends/Implements/TypeOf/Calls edges; targets AS2 (AVM1) as emitted by the JPEXS/FFDec decompiler and package-wrapped AS3. (#97, @tanguc)
• Grok Build (xAI) agent integration. tokensave install --agent grok registers the MCP server in ~/.grok/config.toml and appends tokensave prompt rules to ~/.grok/AGENTS.md, with full uninstall + doctor support. (#99, @davidullo)
• F* proof-oriented language support (.fst / .fsti). Extracts top-level definitions along with their pre/post-conditions. (#98, @hacklex)
• tokensave install --git-hook <default|yes|no> flag. Lets scripted/CI installs pre-decide the global post-commit hook prompt instead of blocking on a TTY read. (#96, @Puppo)

Fixed

• test_tool_definitions_have_annotations write/exec allowlist. The regression test added in 6.1.3 asserted readOnlyHint: true for the three write/exec tools that 6.1.3 had switched to readOnlyHint: false, leaving the suite red on master. Added them to the allowlist.