Skip to content
@NyxFoundation

NyxFoundation

Pinned Loading

  1. interests interests Public

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

    4

  2. speca speca Public

    SPECA: Specification-to-Checklist Agentic Auditing Framework

    Python 457 30

  3. verity verity Public

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

    Rust 17

Repositories

Showing 10 of 52 repositories
  • eris-agent-simulator Public
    NyxFoundation/eris-agent-simulator's past year of commit activity
    TypeScript 23 MIT 5 19 3 Updated Sep 29, 2026
  • verity-aeneas-proofs Public

    Aeneas-generated Lean semantics and correspondence proofs for Verity against formal-leanSpec

    NyxFoundation/verity-aeneas-proofs's past year of commit activity
    Lean 1 MIT 0 0 0 Updated Sep 29, 2026
  • kakaku-ai Public

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

    NyxFoundation/kakaku-ai's past year of commit activity
    Python 0 0 0 0 Updated Sep 29, 2026
  • verity Public

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

    NyxFoundation/verity's past year of commit activity
    Rust 17 MIT 0 5 1 Updated Sep 29, 2026
  • gasper-lean4 Public

    Formal Verification of Gasper in Lean 4

    NyxFoundation/gasper-lean4's past year of commit activity
    JavaScript 1 MIT 1 0 0 Updated Sep 21, 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 0 0 1 0 Updated Sep 18, 2026
  • Williamson-Visualization Public
    NyxFoundation/Williamson-Visualization's past year of commit activity
    TypeScript 0 0 0 0 Updated Sep 16, 2026
  • docs2formalspec Public

    Docs → RFC2119 spec + Lean4 formal verification, via local-class LLMs

    NyxFoundation/docs2formalspec's past year of commit activity
    Lean 19 MIT 1 0 0 Updated Sep 14, 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 Sep 14, 2026
  • wallet-vuln-dataset Public

    Curated corpus of past security fixes from crypto wallet repositories — silent-fix heavy, custody threat model

    NyxFoundation/wallet-vuln-dataset's past year of commit activity
    Python 3 0 0 0 Updated Sep 14, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…