NyxFoundation

Experimental design for a Lean 4-verified RISC-V consensus-layer STF prototype

Experimental Lean 4 macro-assembly library for SSZ on RISC-V RV64IM

Reusable Lean 4 foundation for verified RV64 assembly

A verifiable map of formal proofs across the Ethereum ecosystem.

A Lean backend framework whose authorization safety is formally proven. The developer writes only a Cedar schema and policies; handlers are built on Supabase Auth and PostgreSQL.

A uniform harness for mining bug-fix commits out of open-source repositories, across security domains — smart contracts, blockchain nodes, wallets, operating systems and cryptography

Single source of truth for Nyx Foundation agent skills (hermes / Claude Code / workspace agents)

中古車の相場・口コミ・壊れやすい点を週次スナップショットして時系列 xlsx にするパイプライン（第一弾: 2013年以降のトヨタ・ミニバン）

Create your own Demos