Menu
SkillsMP has collected 2 skills from elizaOS/proximityprize. Open a skill to review its source and details.
Showing 2 of 2 collected skills.
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…
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…