diff --git a/src/mcp/cmd/init.go b/src/mcp/cmd/init.go
index 765e169..4b77d27 100644
--- a/src/mcp/cmd/init.go
+++ b/src/mcp/cmd/init.go
@@ -7,7 +7,7 @@ import (
 	"path/filepath"
 	"strings"
 
-	"quint-mcp/db"
+	"github.com/m0n0x41d/quint-code/db"
 
 	"github.com/spf13/cobra"
 )
diff --git a/src/mcp/cmd/serve.go b/src/mcp/cmd/serve.go
index a172c11..2644854 100644
--- a/src/mcp/cmd/serve.go
+++ b/src/mcp/cmd/serve.go
@@ -6,8 +6,8 @@ import (
 	"os"
 	"path/filepath"
 
-	"quint-mcp/db"
-	"quint-mcp/internal/fpf"
+	"github.com/m0n0x41d/quint-code/db"
+	"github.com/m0n0x41d/quint-code/internal/fpf"
 
 	"github.com/spf13/cobra"
 )
diff --git a/src/mcp/go.mod b/src/mcp/go.mod
index 70520c4..bb9727d 100644
--- a/src/mcp/go.mod
+++ b/src/mcp/go.mod
@@ -1,4 +1,4 @@
-module quint-mcp
+module github.com/m0n0x41d/quint-code
 
 go 1.24.0
 
diff --git a/src/mcp/internal/fpf/actualize_test.go b/src/mcp/internal/fpf/actualize_test.go
index 82a55be..d5b9cc2 100644
--- a/src/mcp/internal/fpf/actualize_test.go
+++ b/src/mcp/internal/fpf/actualize_test.go
@@ -7,8 +7,8 @@ import (
 	"strings"
 	"testing"
 
-	"quint-mcp/db"
-	"quint-mcp/internal/fpf"
+	"github.com/m0n0x41d/quint-code/db"
+	"github.com/m0n0x41d/quint-code/internal/fpf"
 )
 
 func TestActualize_GitReconciliation(t *testing.T) {
diff --git a/src/mcp/internal/fpf/assurance_integration_test.go b/src/mcp/internal/fpf/assurance_integration_test.go
index 4148d0d..0bc892f 100644
--- a/src/mcp/internal/fpf/assurance_integration_test.go
+++ b/src/mcp/internal/fpf/assurance_integration_test.go
@@ -8,9 +8,9 @@ import (
 	"testing"
 	"time"
 
-	"quint-mcp/assurance"
-	"quint-mcp/db"
-	"quint-mcp/internal/fpf"
+	"github.com/m0n0x41d/quint-code/assurance"
+	"github.com/m0n0x41d/quint-code/db"
+	"github.com/m0n0x41d/quint-code/internal/fpf"
 )
 
 func setupAssuranceTestEnv(t *testing.T) (*fpf.FSM, *db.Store, string) {
diff --git a/src/mcp/internal/fpf/fsm.go b/src/mcp/internal/fpf/fsm.go
index f0697e3..86b81a8 100644
--- a/src/mcp/internal/fpf/fsm.go
+++ b/src/mcp/internal/fpf/fsm.go
@@ -9,7 +9,7 @@ import (
 	"path/filepath"
 	"strings"
 
-	"quint-mcp/assurance"
+	"github.com/m0n0x41d/quint-code/assurance"
 )
 
 // Phase definitions
diff --git a/src/mcp/internal/fpf/integration_test.go b/src/mcp/internal/fpf/integration_test.go
index d1f140e..33d6b20 100644
--- a/src/mcp/internal/fpf/integration_test.go
+++ b/src/mcp/internal/fpf/integration_test.go
@@ -7,8 +7,8 @@ import (
 	"strings"
 	"testing"
 
-	"quint-mcp/db"
-	"quint-mcp/internal/fpf"
+	"github.com/m0n0x41d/quint-code/db"
+	"github.com/m0n0x41d/quint-code/internal/fpf"
 )
 
 // Helper to get FPF knowledge path for a level
diff --git a/src/mcp/internal/fpf/preconditions_test.go b/src/mcp/internal/fpf/preconditions_test.go
index 5f0797b..4edc870 100644
--- a/src/mcp/internal/fpf/preconditions_test.go
+++ b/src/mcp/internal/fpf/preconditions_test.go
@@ -5,7 +5,7 @@ import (
 	"path/filepath"
 	"testing"
 
-	"quint-mcp/db"
+	"github.com/m0n0x41d/quint-code/db"
 )
 
 func TestCheckPreconditions_Propose(t *testing.T) {
diff --git a/src/mcp/internal/fpf/projection.go b/src/mcp/internal/fpf/projection.go
index 9a8155b..8e7edcd 100644
--- a/src/mcp/internal/fpf/projection.go
+++ b/src/mcp/internal/fpf/projection.go
@@ -9,7 +9,7 @@ import (
 	"regexp"
 	"strings"
 
-	"quint-mcp/db"
+	"github.com/m0n0x41d/quint-code/db"
 )
 
 type TamperingEvent struct {
diff --git a/src/mcp/internal/fpf/projection_test.go b/src/mcp/internal/fpf/projection_test.go
index 2c7eed2..6f58d66 100644
--- a/src/mcp/internal/fpf/projection_test.go
+++ b/src/mcp/internal/fpf/projection_test.go
@@ -6,7 +6,7 @@ import (
 	"path/filepath"
 	"testing"
 
-	"quint-mcp/db"
+	"github.com/m0n0x41d/quint-code/db"
 )
 
 var ctx = context.Background()
diff --git a/src/mcp/internal/fpf/tools.go b/src/mcp/internal/fpf/tools.go
index c8dcad9..b851439 100644
--- a/src/mcp/internal/fpf/tools.go
+++ b/src/mcp/internal/fpf/tools.go
@@ -13,8 +13,8 @@ import (
 	"strings"
 	"time"
 
-	"quint-mcp/assurance"
-	"quint-mcp/db"
+	"github.com/m0n0x41d/quint-code/assurance"
+	"github.com/m0n0x41d/quint-code/db"
 
 	"github.com/google/uuid"
 )
diff --git a/src/mcp/internal/fpf/tools_test.go b/src/mcp/internal/fpf/tools_test.go
index 3c59abf..a6993c3 100644
--- a/src/mcp/internal/fpf/tools_test.go
+++ b/src/mcp/internal/fpf/tools_test.go
@@ -8,7 +8,7 @@ import (
 	"strings"
 	"testing"
 
-	"quint-mcp/db"
+	"github.com/m0n0x41d/quint-code/db"
 )
 
 // Helper to create a dummy Tools instance for testing
@@ -611,9 +611,9 @@ func TestPropose_WithDependsOn(t *testing.T) {
 		"external traffic",
 		"system",
 		`{"anomaly": "need unified entry point"}`,
-		"",                                       // no decision_context
+		"",                                      // no decision_context
 		[]string{"auth-module", "rate-limiter"}, // depends_on
-		3,                                        // CL3
+		3,                                       // CL3
 	)
 	if err != nil {
 		t.Fatalf("ProposeHypothesis failed: %v", err)
diff --git a/src/mcp/main.go b/src/mcp/main.go
index ced1310..7b2e090 100644
--- a/src/mcp/main.go
+++ b/src/mcp/main.go
@@ -1,6 +1,6 @@
 package main
 
-import "quint-mcp/cmd"
+import "github.com/m0n0x41d/quint-code/cmd"
 
 func main() {
 	cmd.Execute()