workers.io — инструменты Claude Code · Claude Инструменты

kani-proof — доказательство Kani Workers.io

workersio/spec

Доказательство Kani.

138 ★137 установок

save — сохранение Workers.io Spec

workersio/spec

Сохранение Workers.io.

138 ★134 установок

solana-audit — аудит Solana Workers.io

workersio/spec

Аудит Solana.

138 ★131 установок