Menu
O SkillsMP coletou 2 skills de elizaOS/proximityprize. Abra uma skill para revisar a origem e os detalhes.
Mostrando 2 de 2 skills coletadas.
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…
Idioma do texto original: inglês
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…
Idioma do texto original: inglês