NyxFoundation

Pinned Loading

1. interests interests Public

   NyxFoundation メンバーのリサーチアイデア・興味トピックの蓄積場所。誰でも閲覧・コメント可能。issueはメンバー管理。

   4

2. speca speca Public

   SPECA: Specification-to-Checklist Agentic Auditing Framework

   Python 459 30

3. verity verity Public

   The Provable Consensus Client — a formally verified Ethereum consensus client built with Lean 4.

   Rust 17