Merge pull request #17 from m0n0x41d/dev

Release: 4.1.0

Author: m0n0x41d

.githooks/pre-commit

@@ -0,0 +1,57 @@
+#!/bin/bash
+set -e
+
+echo "Running pre-commit checks..."
+
+# Check if we have Go files staged
+STAGED_GO_FILES=$(git diff --cached --name-only --diff-filter=ACM | grep '\.go$' || true)
+
+if [ -n "$STAGED_GO_FILES" ]; then
+    echo "Checking Go files..."
+
+    # Format check
+    echo "  → gofmt"
+    UNFORMATTED=$(gofmt -l $STAGED_GO_FILES 2>/dev/null || true)
+    if [ -n "$UNFORMATTED" ]; then
+        echo "ERROR: The following files need formatting (run 'gofmt -w'):"
+        echo "$UNFORMATTED"
+        exit 1
+    fi
+
+    # Build check
+    echo "  → go build"
+    (cd src/mcp && go build -o /dev/null .) || {
+        echo "ERROR: Build failed"
+        exit 1
+    }
+
+    # Test check
+    echo "  → go test"
+    (cd src/mcp && go test ./... -short) || {
+        echo "ERROR: Tests failed"
+        exit 1
+    }
+
+    # Lint check (if golangci-lint is installed)
+    if command -v golangci-lint &> /dev/null; then
+        echo "  → golangci-lint"
+        (cd src/mcp && golangci-lint run --config .golangci.yml) || {
+            echo "ERROR: Linting failed"
+            exit 1
+        }
+    fi
+fi
+
+# Check if command files changed
+STAGED_CMD_FILES=$(git diff --cached --name-only --diff-filter=ACM | grep '^src/commands/' || true)
+
+if [ -n "$STAGED_CMD_FILES" ]; then
+    echo "Checking command files sync..."
+    ./build.sh
+    if ! git diff --exit-code dist/ > /dev/null 2>&1; then
+        echo "ERROR: dist/ out of sync. Run ./build.sh and stage the changes."
+        exit 1
+    fi
+fi
+
+echo "All checks passed!"

.github/workflows/ci.yml

@@ -0,0 +1,75 @@
+name: CI
+
+on:
+  pull_request:
+    branches: [main, dev]
+  push:
+    branches: [main, dev]
+
+concurrency:
+  group: ci-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  test:
+    name: Test
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Set up Go
+        uses: actions/setup-go@v5
+        with:
+          go-version: '1.23'
+          cache-dependency-path: src/mcp/go.sum
+
+      - name: Run tests
+        run: |
+          cd src/mcp
+          go test -v -race -coverprofile=coverage.out ./...
+
+      - name: Upload coverage
+        uses: codecov/codecov-action@v4
+        with:
+          file: src/mcp/coverage.out
+          fail_ci_if_error: false
+        continue-on-error: true
+
+  lint:
+    name: Lint
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Set up Go
+        uses: actions/setup-go@v5
+        with:
+          go-version: '1.23'
+          cache-dependency-path: src/mcp/go.sum
+
+      - name: Run golangci-lint
+        uses: golangci/golangci-lint-action@v7
+        with:
+          version: v2.1.6
+          working-directory: src/mcp
+          args: --timeout=5m
+
+  build:
+    name: Build
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Set up Go
+        uses: actions/setup-go@v5
+        with:
+          go-version: '1.23'
+          cache-dependency-path: src/mcp/go.sum
+
+      - name: Build binary
+        run: |
+          cd src/mcp
+          go build -o quint-code .

.github/workflows/release.yml

@@ -35,7 +35,11 @@ jobs:
       - name: Build MCP binary
         run: |
           cd src/mcp
-          go build -o "../../dist/quint-code" -trimpath
+          VERSION=${GITHUB_REF_NAME#v}
+          COMMIT=${GITHUB_SHA::8}
+          DATE=$(date -u +"%Y-%m-%dT%H:%M:%SZ")
+          LDFLAGS="-s -w -X quint-mcp/cmd.Version=${VERSION} -X quint-mcp/cmd.Commit=${COMMIT} -X quint-mcp/cmd.BuildDate=${DATE}"
+          go build -o "../../dist/quint-code" -trimpath -ldflags "${LDFLAGS}"
 
       - name: Create release package
         run: |

.pre-commit-config.yaml

@@ -0,0 +1,52 @@
+repos:
+  - repo: https://github.com/pre-commit/pre-commit-hooks
+    rev: v4.6.0
+    hooks:
+      - id: trailing-whitespace
+      - id: end-of-file-fixer
+      - id: check-yaml
+      - id: check-added-large-files
+        args: ['--maxkb=500']
+      - id: check-merge-conflict
+      - id: detect-private-key
+
+  - repo: https://github.com/dnephin/pre-commit-golang
+    rev: v0.5.1
+    hooks:
+      - id: go-fmt
+        args: ['-w']
+        files: \.go$
+      - id: go-imports
+        args: ['-w']
+        files: \.go$
+
+  - repo: https://github.com/golangci/golangci-lint
+    rev: v1.62.2
+    hooks:
+      - id: golangci-lint
+        entry: golangci-lint run --fix
+        args: ['--config', 'src/mcp/.golangci.yml']
+        files: ^src/mcp/
+
+  - repo: local
+    hooks:
+      - id: go-test
+        name: go test
+        entry: bash -c 'cd src/mcp && go test ./...'
+        language: system
+        files: \.go$
+        pass_filenames: false
+
+      - id: go-build
+        name: go build
+        entry: bash -c 'cd src/mcp && go build -o /dev/null .'
+        language: system
+        files: \.go$
+        pass_filenames: false
+
+      - id: check-dist-sync
+        name: check dist/ in sync
+        entry: bash -c './build.sh && git diff --exit-code dist/'
+        language: system
+        files: ^src/commands/
+        pass_filenames: false