Zana za wakala

QuillShield Security Skills

Ujuzi wa wakala

Usalama · Solidity · Uchanganuzi tuli

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.

Rasilimali zinazohusiana

Pashov Audit Group Skills

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.

Trail of Bits Skills Marketplace

Soko la programu-jalizi la Claude Code kutoka Trail of Bits linalotoa ujuzi wa kuboresha uchanganuzi wa usalama unaosaidiwa na AI, majaribio, na mtiririko wa kazi wa ukuzaji.

OpenZeppelin Skills

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.

Cyfrin solskill

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.

SCV Scan

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.

sc-auditor

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.