@lykeion-dev

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

skills

avg SkillRank

6.8

1 scored / 2 total

total stars

—

across 2 repos

total installs

—

across 2 repos

skills, ranked by SkillRank

score	source	skill
6.8	clawhub	Leanstral Formal Verification leanstral-formal-verification delegates theorem proving to mistral's lean 4 code agent, generating mechanically-verified proofs for algorithm correctness, protocol safety, and property validation. requires mistral api key and local lean 4 installation.
—	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.