Trail of Bits Skills Marketplace

Ujuzi wa Claude Code kwa usalama na maendeleo ya Solidity. solidity-auditor hutoa maoni ya haraka ya usalama (kawaida chini ya dakika 5) kwenye mabadiliko ya Solidity unapounda. Inafanya kazi na Claude Code CLI, kiendelezi cha VSCode Claude, na Cursor.

Ujuzi wa wakala kwa maendeleo salama ya mkataba mahiri na maktaba za Mikataba ya OpenZeppelin, ikijumuisha usanidi na mtiririko wa kazi wa kuboresha kwa Solidity na mifumo ikolojia mingine.

Programu-jalizi ya Claude yenye viwango vya ukuzaji vya Solidity kwa msimbo wa kiwango cha uzalishaji. Kina zaidi juu ya majaribio, ubora wa msimbo, na unyeti wa mkataba mahiri. Sakinisha kupitia soko la Cyfrin. Na Patrick Collins na timu ya Cyfrin.

Ujuzi wa Claude Code unaochanganua misingi ya msimbo ya Solidity kwa udhaifu wa usalama kwa kutumia aina 36 za kipekee za udhaifu. Ukaguzi wa awamu nne: pakia karatasi ya kudanganya, ufagiaji wa msingi wa msimbo wa kisintaksia na kisemantiki, uthibitishaji wa kina na faili za marejeleo, na ripoti. Marejeleo kutoka kwa smart-contract-vulnerabilities.

Ujuzi wa wakala wa AI kwa ukaguzi wa usalama wa mkataba mahiri. Programu-jalizi kumi zinazofunika uingiaji upya, orakeli/mkopo wa ghafla, proksi/uboreshaji, vibadilikaji vya hali, walinzi wa semantiki, na zaidi. Mbinu ya QuillShield kwa udhaifu ambao uchanganuzi wa jadi wa tuli hukosa. Inafanya kazi na Claude na Cursor.

Mkaguzi wa usalama wa mkataba mahiri kwa Claude Code na Codex CLI. Inajumuisha Slither, Aderyn, orodha ya ukaguzi ya Cyfrin, na matokeo ya Solodit. Mbinu ya Map-Hunt-Attack yenye zana nne za MCP kwa uchanganuzi tuli na utafutaji wa matokeo.