Language Learning Tutor

AI language tutor for learning ANY language through conversation, vocab drills, grammar lessons, flashcards, and immersive practice. Use when the user wants to: learn a new language, practice vocabulary, study grammar, do flashcard drills, translate phrases, practice conversation, prepare for travel, learn slang/idioms, or improve pronunciation. Supports ALL languages including Spanish, French, German, Japanese, Chinese (Mandarin/Cantonese), Korean, Arabic, Hindi, Bengali/Bangla, Portuguese, Rus

Acorn Prover

Verify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization. Use when working with Acorn proof files (.ac), verifying theorems, formalizing mathematical or cryptographic protocols, or writing proofs in the Acorn language. Triggers on: (1) Creating or editing .ac files, (2) Running acorn verify commands, (3) Formalizing math or crypto proofs, (4) Questions about Acorn syntax or standard library.

Language

A comprehensive AI agent skill for language learners at every level. Builds personalized study plans, teaches vocabulary in context, corrects your writing an...

Language Learning Mastery

Adaptive language learning system with placement tests, structured weekly curricula, vocabulary spaced repetition, grammar lessons, pronunciation coaching, c...

Finnish Language Tutor

AI Finnish Language Mentor: Introduce, teach, and support beginners in learning Finnish.

Turkish Language Tutor

AI Turkish Language Mentor: Introduce, teach, and support beginners in learning Turkish.

Code Mentor

Comprehensive AI programming tutor for all levels. Teaches programming through interactive lessons, code review, debugging guidance, algorithm practice, project mentoring, and design pattern exploration. Use when the user wants to: learn a programming language, debug code, understand algorithms, review their code, learn design patterns, practice data structures, prepare for coding interviews, understand best practices, build projects, or get help with homework. Supports Python and JavaScript.

Learn Cog

AI tutoring and education powered by CellCog. Study guides, exam prep, coding tutorials, language learning, math help, science explanations, practice problem...

Book Language Tutor

Book language-tutor services through Lokuli MCP. Use when user needs to find and book language-tutor. Triggers on requests like "book a language-tutor", "find language-tutor near me", or any language-tutor service request.

Language Learning 1.0.0

AI language tutor for learning ANY language through conversation, vocab drills, grammar lessons, flashcards, and immersive practice. Use when the user wants...

language-helper

Use this skill whenever the user wants to learn how to say something in another language. Triggers include: language tags like 【日语】【英语】【韩语】【法语】【西班牙语】【德语】 fol...

Language Tutor Pro

Duolingo taught you how to say 'the cat drinks milk' for the 500th time. You still can't order dinner in Spanish. Language Tutor Pro skips the gamification a...

Language Learning - Create Short Stories to Learn any Language

2500+ word stories in the target language with images, for language learning by [@TheBoringBOT](https://github.com/TheBoringBOT)

Language Coach

Helps in learning new languages.

Pattern

A web mining module for the Python programming language. It has tools for natural language processing, machine learning, among others.

Language Learning Video

Language Learning Video Maker — Create Vocabulary and Grammar Lesson Videos. Works by connecting to the NemoVideo AI backend. Supports MP4, MOV, AVI, WebM, a...

Multilingual Mentor

Learn any language IN any other language while talking freely but still in a structured way and according to your current proficiency by [@linus-ahlemeyer](https://github.com/linus-ahlemeyer)