Menu
SkillsMP a collecté 2 skills depuis elizaOS/proximityprize. Ouvrez un skill pour examiner sa source et ses détails.
Affichage de 2 skills collectés sur 2.
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…
Langue du texte source : anglais
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…
Langue du texte source : anglais