@xiaoyu20011021-hub

contributor on implexa, with 1 skill ranked by SkillRank across 1 source.

skills

avg SkillRank

7.2

1 scored / 1 total

total stars

—

across 1 repo

total installs

—

across 1 repo

skills, ranked by SkillRank

score	source	skill
7.2	clawhub	Math Proof math-proof automates theorem proof generation via dual-agent loop where one agent produces proofs and another reviews them iteratively until acceptance or retry limit, with configurable feedback granularity and user-supplied constraints.