Merge pull request #22 from sh4i-yurei/fix/mcp-stdout-to-stderr

fix(mcp): redirect warnings to stderr to preserve MCP JSON integrity

ci: fix ldflags module path for version injection

Was: quint-mcp/cmd.Version
Now: github.com/m0n0x41d/quint-code/cmd.Version

fix: make release name to be equal to tag

release 3.2.0

Merge pull request #5 from m0n0x41d/release_3.1.0

 release 3.1.0

Merge pull request #1 from m0n0x41d/2.2.0_release

2.2.0 release

release 2.1.0: added base slice context for fpf. Strict distinction b…

…etween the methods (Plan, run time) and the work/validation (actual execution). Added formality tracking in hypotheses and novelty/complexity tags

Version 2.0.0 is a major release that transforms FPF from advisory gu…

…idance into an enforced reasoning framework. The core change: **phases are now gates, not suggestions.

fix: add CLAUDE.md, update README and commands syntax