Professionalspec-guardian1 तासांपूर्वी

spec-guardian AI-लिहिलेला कोड formal specs विरुद्ध तपासू शकते

spec-guardian हा एक open-source GitHub प्रकल्प असून तो Hacker News वर शेअर झाला आहे. AI ने बनवलेली implementation spec मध्ये लिहिल्याप्रमाणे वागते का, हे तपासण्यासाठी तो formal specifications वापरतो. ज्या developers ना AI-लिहिलेला कोड स्पष्ट, लिखित spec विरुद्ध तपासायचा आहे, त्यांच्यासाठी हा प्रकल्प बनवला आहे. पोस्टला अजून खूप कमी votes मिळाले असल्याने हा विषय अजून सुरुवातीच्या टप्प्यात आहे.

github.com