Contract Coding có thay thế AI coding hoàn toàn không?

Không. Contract Coding thay đổi cách team dùng AI: AI hỗ trợ tạo và cập nhật contract, còn code được sinh qua pipeline có kiểm soát trước khi vào codebase.

Team nhỏ có dùng được không?

Có. Team nhỏ vẫn dùng tốt nếu bài toán có cấu trúc lặp lại và cần giữ thay đổi dễ review. Không cần đợi đến khi hệ thống lớn mới bắt đầu.

Nếu đã có codebase sẵn thì áp dụng như thế nào?

Nên bắt đầu từng phần. Chọn khu vực có rule rõ, chuyển thành contract và để pipeline xử lý trước, rồi mở rộng dần sang phần khác.

Có cần đọc tài liệu kỹ thuật sâu không?

Không. Homepage và guide là đủ để hiểu flow cơ bản. Tài liệu sâu hơn chỉ cần khi team muốn thiết kế contract và pipeline chi tiết.

Vì sao cách này dễ review hơn?

Vì mọi thay đổi đều đi qua contract, version và pipeline trước khi vào codebase. Team không chỉ thấy diff cuối, mà còn hiểu được vì sao thay đổi xảy ra.

Có cần bỏ cách làm hiện tại không?

Không. Bạn có thể áp dụng từng phần, giữ quy trình hiện tại ở nơi chưa phù hợp và mở rộng dần khi team đã quen.

Midi Coder - Contract Coding cho phát triển phần mềm với AI

Contract Coding

Contract là nguồn sự thật duy nhất. Code được sinh ra một cách nhất quán và có thể kiểm soát.

Contract Coding không đơn thuần là AI coding. Đây là phương pháp phát triển phần mềm nơi contract đóng vai trò source of truth, mọi thay đổi đều bắt đầu từ contract, sau đó được biên dịch thành code có thể lặp lại và truy vết.

Contract Coding là gì?

Contract Coding là một phương pháp phát triển phần mềm có AI hỗ trợ, trong đó contract đóng vai trò như một lớp đặc tả có cấu trúc nằm giữa yêu cầu và mã nguồn. Thay vì để AI chỉnh sửa trực tiếp codebase, mọi thay đổi đều đi qua contract — nơi chúng được kiểm soát, biên dịch và tạo ra code theo một pipeline nhất quán.

Cách tiếp cận này giúp việc phát triển với AI trở nên dễ review, dễ truy vết và ổn định hơn — đặc biệt khi hệ thống ngày càng phức tạp, có nhiều module, nhiều quy tắc và nhiều người cùng tham gia.

Tìm hiểu sâu hơn về Contract Coding →

Tiêu chí	Vibe Coding	Contract Coding
Nguồn điều khiển	Prompt + thao tác trực tiếp trên code	Contract là nguồn sự thật duy nhất
Cách tạo thay đổi	Prompt -> thay đổi trực tiếp vào codebase	Contract -> IR -> compiler -> code (theo pipeline kiểm soát)
Khả năng lặp lại	Phụ thuộc vào prompt, kết quả dễ thay đổi mỗi lần sinh	Đầu ra ổn định khi contract và pipeline không đổi
Khả năng truy vết	Khó truy vết về ý định ban đầu	Truy vết rõ ràng qua contract, version và rule liên quan

Tiêu chí

Vibe Coding

Contract Coding

Nguồn điều khiển

Prompt + thao tác trực tiếp trên code

Contract là nguồn sự thật duy nhất

Cách tạo thay đổi

Prompt -> thay đổi trực tiếp vào codebase

Contract -> IR -> compiler -> code (theo pipeline kiểm soát)

Khả năng lặp lại

Phụ thuộc vào prompt, kết quả dễ thay đổi mỗi lần sinh

Đầu ra ổn định khi contract và pipeline không đổi

Khả năng truy vết

Khó truy vết về ý định ban đầu

Truy vết rõ ràng qua contract, version và rule liên quan

Vì sao AI coding thường vỡ khi đi vào dự án thực tế?

Ba vấn đề xuất hiện rất sớm khi prompt và việc chỉnh sửa trực tiếp code trở thành trung tâm của quy trình.

Quy trình thường gặp

01routes:

02 - method: POST

03 path: /api/v1/matches

04 command: CreateMatch

05 description: Create a new match and enter matchmaking queue

06 auth: jwt

07 request_schema:

08 - name: user_id

09 type: string

10 required: true

11 response_schema:

12 - name: match_id

13 type: string

14 required: true

15 tags:

16 - matchmaking

17 - method: POST

18 path: /api/v1/matches/{id}/move

19 command: MakeMove

20 description: Make a move in an active match

21 auth: jwt

22 request_schema:

23 - name: move

24 type: string

25 required: true

26 description: Chess move notation

27 response_schema:

28 - name: game_state

29 type: json

30 required: true

31 description: Updated game state after move

32 tags:

33 - gameplay

34 - method: POST

35 path: /api/v1/matches/{id}/resign

36 command: ResignMatch

37 description: Resign from current match

38 auth: jwt

39 request_schema:

40 - name: user_id

41 type: string

42 required: true

43 response_schema:

44 - name: result

45 type: string

46 required: true

47 tags:

48 - gameplay

49 - method: GET

50 path: /api/v1/matches/{id}

51 query: GetMatch

52 description: Get match details by ID

53 auth: jwt

54 response_schema:

55 - name: match_id

56 type: string

57 required: true

58 - name: player_white

59 type: string

60 required: true

61 - name: player_black

62 type: string

63 required: true

64 - name: status

65 type: string

66 required: true

67 - name: result

68 type: string

69 required: false

70 tags:

71 - matches

72 - method: GET

73 path: /api/v1/users/{user_id}/matches

74 query: GetUserMatches

75 description: Get all matches for a user

76 auth: jwt

77 response_schema:

78 - name: matches

79 type: list<json>

80 required: true

81 tags:

82 - matches

01commands:

02 - id: CreateMatch

03 description: Create a new match and add to matchmaking queue

04 input:

05 - name: user_id

06 type: uuid

07 required: true

08 returns:

09 - name: match_id

10 type: uuid

11 effects:

12 - id: db.insert

13 params:

14 table: matches

15 - id: emit.event

16 params:

17 event: MatchCreated

18 writes_to:

19 - matches

20 emits:

21 - MatchCreated

22 transaction: true

23 - id: MakeMove

24 description: Execute a chess move in an active match

25 input:

26 - name: match_id

27 type: uuid

28 required: true

29 - name: move

30 type: string

31 required: true

32 description: Chess move in algebraic notation

33 returns:

34 - name: fen

35 type: string

36 description: New board state in FEN notation

37 guards:

38 - id: exists

39 params:

40 entity: Match

41 - id: state.equals

42 params:

43 entity: Match

44 field: status

45 value: PLAYING

46 effects:

47 - id: db.insert

48 params:

49 table: moves

50 - id: db.update

51 params:

52 table: matches

53 - id: emit.event

54 params:

55 event: MoveMade

56 errors:

57 - InvalidMoveError

58 - NotYourTurnError

59 - MatchNotFoundError

60 - MatchAlreadyFinishedError

61 writes_to:

62 - moves

63 - matches

64 emits:

65 - MoveMade

66 transaction: true

67 - id: ResignMatch

68 description: Resign from an active match

69 input:

70 - name: match_id

71 type: uuid

72 required: true

73 - name: user_id

74 type: uuid

75 required: true

76 returns:

77 - name: result

78 type: string

79 guards:

80 - id: exists

81 params:

82 entity: Match

83 - id: state.equals

84 params:

85 entity: Match

86 field: status

87 value: PLAYING

88 effects:

89 - id: db.update

90 params:

91 table: matches

92 - id: emit.event

93 params:

94 event: MatchFinished

95 writes_to:

96 - matches

97 emits:

98 - MatchFinished

99 transaction: true

01queries:

02 - id: GetMatch

03 description: Retrieve match details by match ID

04 input:

05 - name: match_id

06 type: uuid

07 required: true

08 returns:

09 - name: id

10 type: uuid

11 - name: player_white

12 type: uuid

13 - name: player_black

14 type: uuid

15 - name: status

16 type: string

17 - name: result

18 type: string

19 reads_from:

20 - matches

21 category: detail

22 - id: GetUserMatches

23 description: Retrieve list of matches for a specific user

24 input:

25 - name: user_id

26 type: uuid

27 required: true

28 returns:

29 - name: matches

30 type: list<uuid>

31 reads_from:

32 - matches

33 category: list

01entities:

02 - id: User

03 description: Chess player account

04 fields:

05 - name: id

06 type: uuid

07 required: true

08 - name: username

09 type: string

10 required: true

11 - name: rating

12 type: int

13 required: true

14 description: Elo rating for matchmaking

15 - name: status

16 type: string

17 required: true

18 primary_key: id

19 indexes:

20 - name: idx_username

21 fields:

22 - username

23 unique: true

24 - id: Match

25 description: A chess match between two players

26 fields:

27 - name: id

28 type: uuid

29 required: true

30 - name: player_white

31 type: uuid

32 required: true

33 description: User ID playing white pieces

34 - name: player_black

35 type: uuid

36 required: true

37 description: User ID playing black pieces

38 - name: status

39 type: string

40 required: true

41 description: Match status - WAITING, PLAYING, FINISHED

42 - name: result

43 type: string

44 required: false

45 description: Game result - WHITE_WIN, BLACK_WIN, DRAW

46 primary_key: id

47 indexes:

48 - name: idx_player_white

49 fields:

50 - player_white

51 - name: idx_player_black

52 fields:

53 - player_black

54 - id: Move

55 description: A single move in a chess match

56 fields:

57 - name: match_id

58 type: uuid

59 required: true

60 - name: move_number

61 type: int

62 required: true

63 - name: notation

64 type: string

65 required: true

66 description: Chess move notation

67 - name: timestamp

68 type: datetime

69 required: true

70 indexes:

71 - name: idx_match_id

72 fields:

73 - match_id

74 - id: GameState

75 description: Current state of the chess board

76 fields:

77 - name: match_id

78 type: uuid

79 required: true

80 - name: fen

81 type: string

82 required: true

83 description: FEN notation of board state

84 - name: turn

85 type: string

86 required: true

87 description: Whose turn it is

88 primary_key: match_id

Contract Coding

Contract Coding là gì?

~70%

~90%

Đầu ra nhất quán

Một nguồn sự thật duy nhất

Vibe Coding Contract Coding

Vì sao AI coding thường vỡ khi đi vào dự án thực tế?

Ý định gốc bị phân tán

Cấu trúc hệ thống dần lệch khỏi thiết kế

Không còn thấy được “vì sao” thay đổi xảy ra

Contract Codinghoạt độngnhư thế nào?

Xác định yêu cầu và ý định

Chuyển thành Contract (lớp điều khiển)

Biên dịch thành code có thể lặp lại

Áp dụng vào codebase (không sửa tay)

Contract sẽ có những gì?

Điều gì thay đổi khi bạn dùng Contract Coding?

Một nguồn sự thật duy nhất

Code nhất quán qua mọi lần chạy

Review và truy vết rõ ràng

Codebase luôn trong trạng thái kiểm soát

Khi nào nên dùng Contract Coding?

API và backend cần generate theo chuẩn

Workflow nhiều bước và có state rõ ràng

Hệ thống nhiều module cần giữ consistency

Sản phẩm cần đồng bộ giữa mô tả và implementation

Midi Coder là nền tảng giúp vận hành Contract Coding ở quy mô team và tổ chức

Kiểm soát hạ tầng và chi phí AI

Tổ chức và quyền

Kiểm soát thay đổi từ contract đến codebase

Cộng tác trên contract và code

Lộ trình phát triển

FAQ

Bắt đầu với Contract Coding ngay hôm nay

Contract Coding

Contract Coding là gì?

~70%

~90%

Đầu ra nhất quán

Một nguồn sự thật duy nhất

Vibe Coding ⚔ Contract Coding

Vì sao AI coding thường vỡ khi đi vào dự án thực tế?

Ý định gốc bị phân tán

Cấu trúc hệ thống dần lệch khỏi thiết kế

Không còn thấy được “vì sao” thay đổi xảy ra

Contract Codinghoạt độngnhư thế nào?

Xác định yêu cầu và ý định

Chuyển thành Contract (lớp điều khiển)

Biên dịch thành code có thể lặp lại

Áp dụng vào codebase (không sửa tay)

Contract sẽ có những gì?

Điều gì thay đổi khi bạn dùng Contract Coding?

Một nguồn sự thật duy nhất

Code nhất quán qua mọi lần chạy

Review và truy vết rõ ràng

Codebase luôn trong trạng thái kiểm soát

Khi nào nên dùng Contract Coding?

API và backend cần generate theo chuẩn

Workflow nhiều bước và có state rõ ràng

Hệ thống nhiều module cần giữ consistency

Sản phẩm cần đồng bộ giữa mô tả và implementation

Midi Coder là nền tảng giúp vận hành Contract Coding ở quy mô team và tổ chức

Kiểm soát hạ tầng và chi phí AI

Tổ chức và quyền

Kiểm soát thay đổi từ contract đến codebase

Cộng tác trên contract và code

Lộ trình phát triển

Cộng đồng nói gì về Midi Coder

FAQ

Bắt đầu với Contract Coding ngay hôm nay

Vibe Coding Contract Coding