spec-guardian AI-written code-ஐ formal specs-உடன் சோதிக்க முடியும்

spec-guardian என்பது GitHub-இல் உள்ள ஒரு open-source திட்டம். Hacker News-இல் பகிரப்பட்டுள்ளது. AI உருவாக்கிய implementation-கள் specification சொல்வதுபோல் நடக்கிறதா என்பதை formal specifications பயன்படுத்தி இது சரிபார்க்கிறது. தெளிவான, எழுத்தில் உள்ள specification-க்கு எதிராக AI எழுதிய code-ஐ சோதிக்க விரும்பும் developers-க்காக இது உருவாக்கப்பட்டுள்ளது. இந்தப் பதிவுக்கு இதுவரை மிகக் குறைந்த votes மட்டுமே உள்ளன, எனவே இது இன்னும் ஆரம்ப நிலையில் உள்ளது.

எப்படி முயற்சிப்பது

GitHub link-ஐத் திறந்து திட்டத்தின் README file-ஐப் படியுங்கள். பிறகு ஏற்கனவே formal specification எழுதப்பட்ட ஒரு சிறிய திட்டத்தில் இதை முயற்சி செய்து பாருங்கள்.

github.com

பயனுள்ளது 25%