GeezerVison is showing github.com — NyxFoundation
Pinned
Loading
NyxFoundation メンバーのリサーチアイデア・興味トピックの蓄積場所。誰でも閲覧・コメント可能。issueはメンバー管理。
5
SPECA: Specification-to-Checklist Agentic Auditing Framework
Python
463
32
The Provable Consensus Client — a formally verified Ethereum consensus client built with Lean 4.
Rust
17
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
CSS
Go
HTML
JavaScript
Lean
OCaml
Python
Rust
Solidity
TypeScript
Typst
Sort
Showing 10 of 61 repositories
NyxFoundation/ethereum-proof-atlas's past year of commit activity
TypeScript
3
0
0
2
Updated Nov 12, 2026
cl-asm
Public
Experimental design for a Lean 4-verified RISC-V consensus-layer STF prototype
NyxFoundation/cl-asm's past year of commit activity
Lean
1
0
1
1
Updated Nov 12, 2026
nyxis
Public
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.
NyxFoundation/nyxis's past year of commit activity
Lean
322
MIT
13
3
3
Updated Nov 11, 2026
oss-bugfixes
Public
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
NyxFoundation/oss-bugfixes's past year of commit activity
Python
0
MIT
0
0
0
Updated Nov 11, 2026
skills
Public
Single source of truth for Nyx Foundation agent skills (hermes / Claude Code / workspace agents)
NyxFoundation/skills's past year of commit activity
Python
0
MIT
0
0
0
Updated Nov 10, 2026
NyxFoundation/eris-agent-simulator's past year of commit activity
TypeScript
25
MIT
7
5
4
Updated Nov 10, 2026
kakaku-ai
Public
中古車の相場・口コミ・壊れやすい点を週次スナップショットして時系列 xlsx にするパイプライン（第一弾: 2013年以降のトヨタ・ミニバン）
NyxFoundation/kakaku-ai's past year of commit activity
Python
1
0
0
0
Updated Nov 9, 2026
democ
Public
Create your own Demos
NyxFoundation/democ's past year of commit activity
CSS
0
MIT
0
0
0
Updated Nov 9, 2026
libp2p-fv
Public
Cross-layer formal verification of Ethereum GossipSub over QUIC: research scope and property inventory
NyxFoundation/libp2p-fv's past year of commit activity
0
0
0
1
Updated Nov 6, 2026
nyx-ssz
Public
Work-in-progress Rust SSZ implementation with Aeneas/Lean refinement proofs. Not production-ready.
NyxFoundation/nyx-ssz's past year of commit activity
Lean
1
MIT
0
5
2
Updated Nov 5, 2026
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Uh oh!
There was an error while loading. Please reload this page.