Menú
SkillsMP ha recopilado 2 skills de elizaOS/proximityprize. Abre una skill para revisar su origen y sus detalles.
Mostrando 2 de 2 skills recopiladas.
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 del 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 del texto original: inglés