Skip to content
View sururu-k's full-sized avatar
9 followers · 12 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Pair Extraordinaire

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Pair Extraordinaire

Block or report sururu-k

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
sururu-k/README.md

こんにちは @sururu-k です

Web3・セキュリティ研究 / AIエージェント開発 / ハードウェア・組込開発

GitHub 連続コミット Streak

コミット貢献度・アクティビティカレンダー (Contribution Calendar)

sururu-k's GitHub Contribution Chart

統計 & 使用言語 (GitHub Overview & Stats)

sururu-k's GitHub Stats Top Languages

自己紹介 & 関心分野

  • Web3・ブロックチェーン・形式検証: Ethereum コンセンサス仕様の事前条件検証、Lean 4 による数理証明、Decentralized Identity。
  • AI & 自律型エージェント: LLM を活用したコーディングエージェント開発、自然言語処理ツール、ワークフロー自動化。
  • ハードウェア & 組込・IoT: 列車行先表示器（3方向幕）の自作指令器およびWebシミュレーター、各種独自ガジェット・通知ツール作成。
  • ハッカソン & オープンソース: ハッカソンへの積極的な参加およびオープンソースコミット。

外部コントリビューション (External Contributions)

  • NyxFoundation/speca
    • Specification-to-Checklist Agentic Auditing Framework
    • エージェント型仕様駆動セキュリティ監査フレームワーク SPECA への各種開発・データセット整備・コントリビューション。

技術スタック

カテゴリ 使用技術・ツール
開発言語 Python TypeScript JavaScript Kotlin Solidity C++
Web3 & 形式検証 Ethereum Lean4 Web3.js
AI / フレームワーク PyTorch Node.js Discord.js

ピックアッププロジェクト

@sururu-k のプロフィールページ

Pinned Loading

  1. advanced-cryptography-2026 advanced-cryptography-2026 Public

    Forked from zk-tokyo/advanced-cryptography-2026

    Python

  2. Bluetooth-LE-Spam Bluetooth-LE-Spam Public

    Forked from simondankelmann/Bluetooth-LE-Spam

    Kotlin

  3. NyxFoundation/speca-lean4-plugin NyxFoundation/speca-lean4-plugin Public

    Python

  4. speca speca Public

    Forked from NyxFoundation/speca

    SPECA: Specification-to-Checklist Agentic Auditing Framework

    Python

  5. NyxFoundation/speca NyxFoundation/speca Public

    SPECA: Specification-to-Checklist Agentic Auditing Framework

    Python 463 32