elizaOS/proximityprize

SkillsMP は elizaOS/proximityprize から 2 件の skill を収集しています。skill を開くとソースと詳細を確認できます。

elizaOS のプロフィール GitHub で見る

記録された最新のソース活動: 2026年6月18日 09:08

SkillsMP カタログ更新: 2026年9月12日 13:34

収集済み skills: 2

GitHub スター: 1
GitHub フォーク: 1

このリポジトリの skills

ソフトウェア開発者

1 件の職業カテゴリ · 100% 分類済み

skill

職業分類

説明

更新

proximity-prize

ソフトウェア開発者

Mine the open δ* / proximity-gap problem with Claude Code. Use when the user wants to contribute a verified "brick" (an exact-arithmetic probe or an axiom-clean Lean lemma) to the Ethereum Foundation proximity prize on lalalune/ArkLib. Self-updating — fetches…

原文の言語: 英語

2026-06-18

proximity-prize

ソフトウェア開発者

原文の言語: 英語

2026-06-18

収集済み skill 2 件中 2 件を表示しています。