LeanType

by LeanBitLab · Agent Tool · ★ 1.1k

About LeanType

LeanType LeanType is a fork of HeliBoard - a privacy-conscious and customizable open-source keyboard based on AOSP/OpenBoard. What's New in LeanType 🤖 Multi-Provider AI - Proofread using Gemini, Groq (Llama 3, Mixtral), or OpenAI-compatible providers. Supports dynamic fetching of latest models directly from providers. 🛡️ Offline AI (GGUF) - Private, on-device proofreading and translation using local GGUF models powered by (Offline build only). 🌐 AI Translation - Translate selected text directly using your chosen AI provider, with a separate model selector.

ai-toolsandroidaospcustomisationfree-softwaregemini-apigguf-modelsgroqkeyboardkotlin

Quick Facts

Stars1,064
Forks65
LanguageKotlin
CategoryAgent Tool
LicenseGPL-3.0
Quality Score34.75/100
Open Issues65
Last Updated2026-10-18
Created2026-01-15
Platformsgemini
Est. Tokens~22682k

Compatible Skills

These tools work well together with LeanType for enhanced workflows:

  • Box — semantic(0.21)+complementary+same_lang+similar_pop (47%)

More Agent Tool Tools

Explore other popular agent tool tools:

View all Agent Tool tools →

Popular Kotlin Agent Tools

Frequently Asked Questions

What is LeanType?

LeanType is LeanType is an Open-source keyboard, fork of HeliBoard with additional features and customisation. It is categorized as a Agent Tool with 1.1k GitHub stars.

What programming language is LeanType written in?

LeanType is primarily written in Kotlin. It covers topics such as ai-tools, android, aosp.

How do I install or use LeanType?

You can find installation instructions and usage details in the LeanType GitHub repository at github.com/LeanBitLab/LeanType. The project has 1.1k stars and 65 forks, indicating an active community.

What license does LeanType use?

LeanType is released under the GPL-3.0 license, making it free to use and modify according to the license terms.

View on GitHub → Browse Agent Tool tools