Yeqa uye kokuyinhloko
Izifundo ze-AI

Ukusebenzisa i-lean-mode ukwakhela ama-Agent okubhala ikhodi ukuhamba komsebenzi okunokulinganisela nobuqinisekisi obusebenza kahle

Lesi sifundo sichaza indlela yokufaka, ukusebenzisa nokwenza ngendlela oyifisayo i-SKILL.md ye-lean-mode, ukuze i-Agent yokubhala ikhodi ikwazi ukunquma ukuthi ukuqinisekiswa, ukubamba okuhlukile, i-abstraction kanye ne-fallback kuyadingeka yini, futhi inciphise isikhathi sokuqinisekisa ngokusebenzisa ukwakha okwandayo, ukunciphisa ububanzi nokusebenzisa kabusha izinqubo.

I-lean-mode yokwakha ukuhamba komsebenzi okulinganiselayo nokuqinisekisa okuphumelelayo kwama-Agent ekhodi

Iyini i-lean-mode?

lean-mode iyi-SKILL.md eyenzelwe ama-Agent okubhala ikhodi. Inhloso yayo akukhona ukuthi “ikhodi ibe mbalwa ngangokunokwenzeka”, kodwa ukunikeza i-Agent izindlela ezicacile zokwahlulela ukuze iphendule imibuzo emibili yobunjiniyela:

  1. Ukuthi ikhodi ebonakala ivikelekile kufanele yini ibhalwe, njengokuqinisekisa, try/catch, ungqimba lwe-abstraction, i-fallback logic noma i-subsystem eyengeziwe yezokuphepha.
  2. Kungani ukwakha nokuhlola kwamanje kuhamba kancane, nokuthi ungayifinyeza kanjani i-loop yokuqinisekisa engasebenzi ibe sezingeni elifanele.

Ifayela lekhono litholakala ku-skills/lean-mode/SKILL.md, lisebenzisa i-frontmatter ejwayelekile, okungukuthi name, description kanye nombhalo we-Markdown. Alincikile ku-host ethile; noma iyiphi i-Agent esekela isivumelwano se-SKILL.md ingalisebenzisa.

Izinkinga eziyinhloko elizixazululayo

Ezikhathi ezinde zokubhala ikhodi, imodeli ijwayele ukubonisa ukuthambekela okubili okuhlelekile: ukubhala ikhodi evikela ngokweqile kanye nama-loop okuqinisekisa angasebenzi kahle.

Ukubhala ikhodi evikela ngokweqile

Izibonelo ezivamile zihlanganisa ukuphinda kuqinisekiswe ama-null values kudatha yangaphakathi ethembekile, ukusebenzisa ukubamba okuhlukile ukufihla imbangela, ukudala i-abstraction kusenesikhathi ngenxa yokusetshenziswa okukodwa, nokwengeza ama-fallback njalo ngaphandle kokuqinisekisa umthombo wenkinga. Ikhodi ingase ibonakale “ivikeleke” kakhulu, kodwa empeleni ingandisa izindleko zokuyigcina futhi iguqule ukwehluleka okucacile kube amanani amaphutha okunzima ukuwalandela.

Ama-loop okuqinisekisa angasebenzi kahle

Izibonelo ezivamile zihlanganisa ukusebenzisa ukwakha okuphelele njalo, ukuphinda usebenzise clean, ukukhubaza izinqubo ezihlala zisebenza, ukusebenzisa zonke izivivinyo njalo, kanye nokuvumela imiyalo ebonakala ibambekile ukuthi ilinde isikhathi eside. I-lean-mode ibeka imingcele kulezi zenzo ngemithetho eyisithupha: ukusebenzisa kabusha izinqubo, ukusebenzisa ngokuqhubekayo, ukulawula ububanzi, ukuhleleka kokusebenza, imvamisa yokubiza kanye nokuphathwa kwe-timeout.

Idatha yezibalo eku-README ivela eseshini eyodwa ende yephrojekthi ye-Java ne-Gradle ecishe ibe nemigqa engu-20k. Isetshenziselwa ukukhombisa kuphela ukuthi inkinga ikhona ngempela, futhi akufanele ithathwe njengebhentshimakhi yomkhakha esebenza kuwo wonke amamodeli noma amaphrojekthi.

Amakhono amakhulu

  • Qinisekisa kanye kuphela emngceleni wokwethembana: Cela kuqala impendulo yombuzo othi “le null ivele kuphi”, ukuze kugwenywe ukuqhubeka nokuhlola idatha ethembekile ngemva kokungena ohlelweni.
  • Gwema ukufihla imbangela: Qaphela ukubamba okuholela ekubuyiseni null, false, iqoqo elingenalutho noma u-zero, ngoba lokhu kungaguqula okuhlukile okucacile kube iphutha okunzima ukulithola.
  • Lawula i-abstraction yangaphambi kwesikhathi: I-abstraction enokusetshenziswa okukodwa, eyakhiwe ngenxa yokushintshwa okungenzeka esikhathini esizayo kuphela, ayiwakhi ngaso sonke isikhathi umngcele wokwandiswa ozinzile ngempela.
  • Lungisa imbangela kuqala: Ukwengeza i-fallback kusho ukuthi imbangela ayikaxazululwa ngokuphelele. Uma i-fallback idingeka ngempela, chaza ukuthi inkinga ingeyobani, izosuswa nini kanye nobufakazi obuqinisekisiwe.
  • Qondanisa inani lezinguquko noshintsho lokuziphatha: Uma ungeza imigqa engaphezu kuka-50, qala ubike inani eliphelele lemigqa, imigqa yokuqinisekisa neyama-fallback, kanye nezindleko zangempela zokungayibhali le khodi.
  • Phendula imibuzo emithathu ngaphambi kokubhala ikhodi evikelekile: Ingabe inkinga ingenzeka ngempela, yini ezokwenzeka kumsebenzisi uma yenzeka, futhi izoba yini indleko yokungayibhali? Uma omunye wale mibuzo ungaphenduleki, ungangezi ikhodi okwamanje.
  • Fushanisa i-loop yokuqinisekisa: Ihlinzeka ngamasu amancane okuqinisekisa ezinhlelweni eziyisikhombisa zokwakha: Gradle, Maven, Go, Node ne-TypeScript, Rust, Python kanye ne-.NET.
  • Vumela isiphetho esithi “akukho okudinga ukushintshwa”: Inhloso ukuxazulula inkinga, hhayi ukuphoqa ukukhiqizwa kwekhodi, futhi akufanele kuqiniswe ngokuzenzakalelayo izindawo umsebenzisi angazicelanga.
  • Hlinzeka ngenqubo yokuhlola ikhodi ekhona: Qala ngokulinganisa ukuminyana, bese uhlola amafayela anezinkinga ezinkulu kakhulu, unqume ngakunye ukuthi kuyasuswa, kuyiswa emngceleni noma kuyagcinwa, futhi wethule ithebula lemiphumela kumsebenzisi ngaphambi kokulungisa.

Mayelana nekhodi evikela ngokweqile, leli khono linikeza izibonelo eziphikisanayo ezilimini ezine: Java, Go, TypeScript ne-Python, ukuze lisize i-Agent ibone izinkinga ezifanayo ezicashe ngemuva kwe-syntax ehlukene.

Ukufaka i-lean-mode

Indlela yokuqala: Landa kusuka ku-URL

Uma i-host isekela ukungenisa amakhono kusuka ku-URL, njengekhasi lamakhono le-Vantaloom, ungamane unamathisele ikheli le-repository. I-host izothola ifayela lekhono ngaphansi kwe-skills/lean-mode/.

https://github.com/Timefiles404/lean-mode-skill

Indlela yesibili: Kopisha endaweni yokusebenza

Qala ngokuklona i-repository, bese ukopisha ifolda yekhono uyiyise endaweni echazwe yi-host. Uma usebenzisa isivumelwano sendawo yokusebenza ye-Vantaloom, sebenzisa:

git clone https://github.com/Timefiles404/lean-mode-skill.git
cp -r lean-mode-skill/skills/lean-mode <indawo_yakho_yokusebenza>/.vantaloom/skills/

Uma i-host isebenzisa ifolda yamakhono yesitayela sika-Claude, kopisha uye ku-.claude/skills/:

cp -r lean-mode-skill/skills/lean-mode <indawo_yakho_yokusebenza>/.claude/skills/

Indlela yesithathu: Dala ikhono ngesandla

Dala ikhono elisha ku-host, bese unamathisela wonke umbhalo we-skills/lean-mode/SKILL.md okwi-repository. Ungashiyi ngaphandle i-frontmatter ephezulu, ngoba i-host isebenzisa i-description ekuyo ukunquma ukuthi ililayisha nini ikhono.

Inqubo yokusebenzisa eyisisekelo

Ngemva kokufaka, i-lean-mode incike kakhulu encazelweni yekhono engena ku-context lapho idingeka. Kufanele yenziwe isebenze lapho i-Agent isilungiselela ukwengeza ukuqinisekisa, ukubamba okuhlukile, ungqimba lwe-abstraction, i-fallback noma i-subsystem eyengeziwe yezokuphepha, noma lapho isivele yenze ukwakha nokuhlola izikhathi eziningi emzuliswaneni owodwa.

Isimo sokuqala: Ukunquma ukuthi ukuqinisekisa okusha kuyadingeka yini

  1. Thola kuqala umthombo wedatha, uqinisekise ukuthi ivela yini kokokufaka kwangaphandle, emngceleni we-interface noma komunye umthombo ongathembekile.
  2. Hlola ukuthi umbandela ofanayo usuqinisekisiwe yini emngceleni wokwethembana.
  3. Phendula ukuthi inkinga ingenzeka ngempela yini, izomthinta kanjani umsebenzisi, nokuthi izoba yini indleko yokungabhali ukuqinisekisa.
  4. Uma idatha isithembekile ngemva kokungena ngaphakathi, ungaphindi wengeze ukuqinisekiswa okufanayo ngesikhathi sokusebenza kuzo zonke izingqimba.

Ngokwesibonelo, uma i-Agent ifuna ukufaka i-Objects.requireNonNull ngokuphindaphindiwe ezindleleni zangaphakathi eziningi, akufanele ikwenze ngoba nje ipharamitha “ingaba null ngokomqondo”; kufanele ilandele umthombo wangempela we-null kuqala futhi inqume ukuthi ukuqinisekisa sekuqediwe yini emngceleni.

Isimo sesibili: Ukuphatha okuhlukile

Uma i-Agent ilungiselela ukubamba okuhlukile bese ibuyisa inani elizenzakalelayo, kufanele iqale iqinisekise ukuthi lokho ngeke yini kufihle imbangela. Iphethini elandelayo ingeyesigaba okufanele ihlolwe ngokukhethekile:

catch (...) {
    return false;
}

Okubalulekile akukhona ukuvimbela konke ukubamba okuhlukile, kodwa ukugwema ukuguqula ukwehluleka okungatholakala kube i-false, null, umphumela ongenalutho noma u-zero ongenawo umongo. Uma ibhizinisi lidinga ngempela ukwehlisa izinga lokusebenza, kusadingeka kuhlolwe ngokwemibandela ehlukile ekhonjiswe kuleli khono.

Isimo sesithathu: Ukuhlola ungqimba lwe-abstraction

Uma i-interface inokuqaliswa okukodwa kuphela okwamanje, futhi okuwukuphela kwesizathu sokuyidala kuwukuthi “ingase ishintshwe esikhathini esizayo”, i-Agent kufanele ime bese ihlola umngcele wangempela woshintsho. I-lean-mode ayiphikisi i-abstraction; iphikisana nokwakha izingqimba eziphakathi kusenesikhathi lapho singekho isidingo samanje noma umngcele ozinzile.

Isimo sesine: Ukufushanisa ukwakha nokuhlola

  1. Phinda usebenzise izinqubo zokwakha ezikhona kuqala, ugweme ukuziqalisa kabusha ngokupholile ngaphandle kwesidingo.
  2. Gcina imikhiqizo yokwakha ekhuphukayo; ungajwayeli ukusebenzisa i-clean.
  3. Qalisa kuqala umyalo omncane: ukuhlanganisa kuphela, ukuhlola imojuli efanele kuphela noma ukusebenzisa ukuhlola okukodwa kuphela.
  4. Ngemva kokuphumelela kokuqinisekisa okuncane, khulisa kancane uye ekuhloleni imojuli noma ekuhloleni okuphelele.
  5. Lawula imvamisa yokubiza okuphindaphindiwe, ugweme ukusebenzisa umyalo ofanayo kaningi lapho ikhodi ingashintshwanga.
  6. Sethela imiyalo engase ibambeke i-timeout efanele, bese uhlaziya imbangela yokuqala ngemva kokwehluleka.

Umbhalo ophelele wekhono oku-README unikeza izihibe zokuqinisekisa ezincane ezithi “sebenzisa lona kuphela” ezinhlelweni eziyisikhombisa zokwakha. Ekusetshenzisweni kwangempela, lezi zibonelo kufanele zishintshwe kuqala zibe imiyalo yangempela engasetshenziswa ngokuqondile kule phrojekthi.

Ukuhlola ikhodi esivikele ngokweqile

I-lean-mode ihambisana nenqubo yokuhlola ethi “qala ulinganise, bese ususa”, efanele amaphrojekthi aseqongelele ukuqinisekiswa, ama-fallback noma logic egwinya okuhlukile ngokweqile.

  1. Sesha futhi ulinganise: Sebenzisa amaphethini okusesha esithasiselweni ngokolimi, ubale inani nokuminyana kwamaphethini afanele.
  2. Yehlisa ububanzi bokuhlola: Bheka amafayela angu-5 kuphela agxile kakhulu ezinkingeni, ugweme ukuhlola yonke i-repository ekuqaleni.
  3. Hlukanisa ngakunye: Maka logic ngayinye ngokuthi “susa”, “yisa emngceleni” noma “gcina”. “Yisa emngceleni” ngokuvamile kusho ukuhlanganisa ukuqinisekisa emngceleni wangempela wokwethembana.
  4. Bika kuqala, bese ulungisa: Nikeza umsebenzisi ithebula lokuhlola kuqala ukuze akhethe; ungawususi ngobuningi umsebenzi ngaphandle kokuqinisekisa.
  5. Qinisekisa ngezigaba: Ngemva kokulungisa, sebenzisa ububanzi obuncane bokwakha nokuhlola, bese ukwandisa ububanzi ngokwemiphumela.

Le nqubo igcizelela ukubonakala, ukukhetha kanye nokubuyela emuva, esikhundleni sokuguqula “ukunciphisa ikhodi yokuzivikela” kube olunye ushintsho olukhulu olungalawulwa.

Ukwenza i-SKILL.md ngendlela oyifisayo

I-SKILL.md ngokwayo iyi-Markdown futhi ingahlelwa ngokuqondile. Lezi zinhlobo ezintathu zokwenza ngokwezifiso zibaluleke kakhulu.

Shintsha imiyalo yokuqinisekisa yephrojekthi

Shintsha imiyalo ejwayelekile esigabeni sesikhombisa ibe imiyalo yangempela engasetshenziswa kule phrojekthi, “yokuhlanganisa kuphela” kanye “nokuqalisa ukuhlola okukodwa kuphela”. Umyalo ongakopishwa futhi usetshenziswe ngokuqondile uvame ukubeka imingcele ekuziphatheni kwe-Agent kangcono kunezimiso ezingenabo ubunjalo.

Lungisa amaphethini okusesha

Shintsha imithetho yokusesha esithasiselweni ihambisane nesitayela sekhodi yephrojekthi. Ngokwesibonelo, iphrojekthi ye-Java ingasebenzisa i-Guava Preconditions, noma isebenzise kakhulu i-Objects.requireNonNull. Amaphethini okusesha kufanele ahambisane nekhodi yangempela.

Lungisa ukuminyana okuyisethenjwa

Ikhono lisebenzisa ukuqinisekiswa okukodwa emigqeni engu-200 kuya ku-500 njengereferensi yesipiliyoni, kodwa lokhu akuyona indinganiso yendawo yonke. Ukuminyana okufanele kokuqinisekisa kuyahluka phakathi kwama-parser, imingcele yamaphrothokholi kanye ne-business CRUD; kufanele kulungiswe ngokobungozi besizinda nomthombo wedatha.

Izincomo zokusetshenziswa okuthuthukile

  • Gcina okuhlukile ku-context: Imibandela yekhono iyimithetho esiza ekwahluleleni, hhayi amaqiniso angenakuphikiswa. Ungashiyi iziqubulo ezilula kuphela ezithi “ungaqinisekisi” noma “ungasebenzisi catch”.
  • Cela i-Agent ibike ukwakheka kwezinguquko: Uma ingeza imigqa engaphezu kuka-50, mayichaze ngokucacile inani eliphelele lemigqa, imigqa yokuqinisekisa neyama-fallback, kanye nezindleko zokungayisebenzisi le logic.
  • Vumela ububanzi bokuqinisekisa bukhule kancane kancane: Qala ngamafayela afanele, ukuhlola okukodwa noma imojuli, bese uya ebangeni elikhulu lokuhlola, ukuze ukuguqulwa ngakunye kungaqalisi ukwakha okuphelele.
  • Sekela i-fallback ngobufakazi: Uma i-fallback kufanele igcinwe, bhala phansi umthombo othile wenkinga, imiphumela eqinisekisiwe kanye nemibandela yokuyisusa esikhathini esizayo; ungasebenzisi “kwezinye izindawo kungase kube nephutha” okungenakuqinisekiswa.
  • Thatha “ukungashintshi” njengomphumela ovumelekile: Uma inkinga isixazululwe yi-logic ekhona, noma ikhodi entsha ingenanzuzo ecacile, i-Agent kufanele ivunyelwe ukusho ngokuqondile ukuthi akukho okudinga ukushintshwa.

Imingcele yamakhono nezinsiza ozikhethela zona

I-lean-mode ishintsha ukuthambekela kwemodeli, hhayi ikhono layo. Ayikwazi ukuphoqa imodeli ukuthi iyeke ukubhala uhlobo oluthile lwekhodi; ingafaka kuphela izindlela zokwahlulela ku-context ngesikhathi esifanele, ngakho iyasebenza kodwa ayisona isiqinisekiso.

Futhi ayiyona i-static analyzer, futhi ngeke ifunde noma iskene ikhodi ngokuzenzakalelayo. Ukuhlolwa okukusithasiselo kudinga ukuthi i-Agent izisebenzisele yona imiyalo yokusesha efanele, bese yahlulela ngokwemiphumela.

I-plugin yokuzikhethela ye-Vantaloom enegama elifanayo ibeka imithetho efushanisiwe ku-context eguqukayo yawo wonke umjikelezo, futhi inikeza amanothi angezansi emiphumeleni yamathuluzi kanye nethuluzi le-lean_review. I-plugin inikeza izikhumbuzo eziqhubekayo, kanti ikhono linikeza imibandela ephelele. Ngisho nangaphandle kokufaka i-plugin, leli khono lingasetshenziswa ngokuzimela.

I-repository yephrojekthi ingabukwa ku-lean-mode-skill ku-GitHub, futhi isebenzisa ilayisensi ye-MIT.

Isiphetho

Inani le-lean-mode alikho ekunciphiseni ikhodi ngomshini, kodwa ekwenzeni ukuthi konke ukuqinisekisa, ukuphathwa kokuhlukile, i-abstraction, i-fallback kanye nomyalo wokuqinisekisa kube nesizathu esichazekayo. Ngemva kokuyifaka, ukuyenza ihambisane nemiyalo yangempela yephrojekthi, amaphethini okusesha kanye nokuminyana kobungozi kungasiza i-Agent yokubhala ikhodi igxile kakhulu emsukeni wenkinga futhi yakhe i-loop yempendulo yobunjiniyela emfushane nethembeke kakhulu.