Keylatch आपके Windows PC पर Solidity स्मार्ट कॉन्ट्रैक्ट ऑडिट के लिए एक स्वतंत्र एजेंट है। यह आपका कोड पढ़ता है, आपके टेस्ट चलाता है, और रिपोर्ट किए गए निष्कर्षों को रिकॉर्ड करता है।
आपका कोड आपके PC पर ही रहता है और तब तक बाहर नहीं जाता जब तक आप न चुनें। प्रॉम्प्ट केवल उस मॉडल एंडपॉइंट पर जाते हैं जिसे आप चुनते हैं; स्थानीय मॉडल के साथ कुछ भी PC से बाहर नहीं जाता, क्लाउड मॉडल के साथ फ़ाइल पाठ उस प्रदाता को भेजा जाता है।
यह आपके स्कैनर को निष्पादित करता है और वास्तविक एग्जिट कोड दिखाता है।
प्रत्येक संपादन एक डिफ़ के रूप में दिखाई देता है जिसे आप स्वीकार या अस्वीकार कर सकते हैं।
एजेंट फ़ाइलों को खोजता है, कोड पढ़ता है, और आपके चेक चलाता है।
.3 फ़ाइलेंToken.sol120 लाइनें पढ़ींexternal call5 मिलापyour test commandएग्जिट 0findings-log.txtसहेजा गयाKeylatch list_dir और glob का उपयोग करके आपके कॉन्ट्रैक्ट फ़ाइलों को खोजता है, और read_file का उपयोग करके कोड पढ़ता है ताकि आप इसे सुरक्षित रूप से समीक्षा कर सकें। grep प्रोजेक्ट निर्देशिका संरचना में प्रत्येक बाहरी कॉल और एक्सेस चेक खोजता है। write_file और edit_file Ask first में डिफ़ दिखाते हैं, जिससे आप स्वीकार करने से पहले देख सकें। Shell आपके टेस्ट कमांड और स्टैटिक-चेक कमांड को आपके PC पर चलाता है। web_search आधिकारिक Solidity दस्तावेज़ पढ़ता है ताकि नवीनतम मानकों की पुष्टि की जा सके। इस Solidity स्मार्ट कॉन्ट्रैक्ट ऑडिट में ocr का उपयोग करके स्क्रीनशॉट से तालिका पढ़ी जाती है। ऑडिट में AI फ़ॉल्स पॉजिटिव को फ़िल्टर करना मैन्युअल पुष्टि द्वारा संभाला जाता है।
एजेंट grep का उपयोग करके प्रोजेक्ट में प्रत्येक बाहरी कॉल और स्टेट चेंज खोजता है, ताकि वह समस्याओं की तलाश और योजना की समीक्षा के लिए सटीक रूप से जान सके कि कहाँ देखना है। योजना की समीक्षा करें। यह read_file का उपयोग करके एक कॉन्ट्रैक्ट पढ़ता है और list_dir का उपयोग करके फ़ाइलों को खोजता है। स्मार्ट कॉन्ट्रैक्ट ऑडिट उदाहरण दिखाता है कि write_file और edit_file कैसे निष्कर्ष नोट्स लिखते हैं। आप Plan only में चलाने से पहले योजना की समीक्षा करते हैं। Shell आपका टेस्ट कमांड चलाता है और आउटपुट को एक टेक्स्ट फ़ाइल में सहेजता है। web_search और http_get संदर्भ के लिए आधिकारिक Solidity दस्तावेज़ पढ़ते हैं। स्मार्ट कॉन्ट्रैक्ट ऑडिट अगला कदम स्थानीय टेस्ट के साथ निष्कर्षों की पुष्टि करना है।
Keylatch एक होस्टेड सेवा या प्लगइन नहीं है; यह केवल आपके स्वयं के फ़ाइलों, PC और सर्वर्स के लिए है जिनका उपयोग करने के लिए आप अधिकृत हैं — आप कार्य को उनके भीतर ही रखते हैं। एजेंट स्कोप को लागू नहीं करता; Shell, web और SSH फ़ोल्डर-बाउंड नहीं हैं। यह गारंटी नहीं है कि कोड, स्कैन या विश्लेषण सही हैं। एजेंट फ़ॉल्स पॉजिटिव रिपोर्ट कर सकता है, इसलिए एक व्यक्ति प्रत्येक निष्कर्ष की पुष्टि या खारिज करता है। ऑडिट वर्कफ़्लो में स्थैतिक विश्लेषण से आगे बढ़ने के लिए सावधानीपूर्वक सत्यापन की आवश्यकता होती है।
