Xin chào,
Khi thực hiện các tác vụ phức tạp bằng Claude Code hoặc Codex, đôi khi agent không sắp xếp đầy đủ mục tiêu và các điều kiện ràng buộc, dẫn đến đi sai hướng.
Vì vậy, tôi đã tạo một kỹ năng áp dụng phương pháp mô hình hóa tối ưu hóa ràng buộc (constraint optimization) trong toán học cho các coding agent.
kkt mô hình hóa công việc thành mục tiêu, các ràng buộc bắt buộc, những phương pháp thực thi có thể lựa chọn và tiêu chí kiểm chứng. Trước tiên, nó sắp xếp rõ cần đạt được điều gì và những điều kiện tuyệt đối không được vi phạm; trong phạm vi đó, nó tìm lộ trình tối ưu khả thi để thực hiện công việc, rồi kiểm chứng cả kết quả.
Hiện có thể dùng với Claude Code, Codex, OpenCode và Pi. Rất mong các bạn dùng thử và gửi phản hồi.
Chưa có bình luận nào.