leanstral-formal-verificationFormal verification using Lean 4 + Leanstral (labs-leanstral-2603) model. Use when: you need mathematical proof of code correctness, protocol verification, a...
cohere-translatorNeural machine translation supporting 23 languages using Cohere's Command A Translate model, optimized for file-based input to minimize token costs.