@lykeion-dev

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

skills

avg SkillRank

—

0 scored / 2 total

total stars

—

across 2 repos

total installs

—

across 2 repos

skills, ranked by SkillRank

score	source	skill
—	clawhub	Cohere Translator Neural machine translation supporting 23 languages using Cohere's Command A Translate model, optimized for file-based input to minimize token costs.
—	clawhub	Leanstral Formal Verification Formal verification using Lean 4 + Leanstral (labs-leanstral-2603) model. Use when: you need mathematical proof of code correctness, protocol verification, a...