8,654 mods in this category, of every kind an
agent can take. Each one carries what it costs per session, what the
scan found, and whether it is the original.
Procédures d'autorat de matériels pédagogiques avec le serveur MCP TLM, en trois capacités : construire le programme (standards, composantes, cours, leçons), composer et produire des documents (couverture, mise en forme, grilles, sections, journal, rendu, illustrations, reprise des corrections), évaluer et transmettre.
Anki flashcard creation, bulk programmatic ingestion, card refactoring, and collection management via anki-mcp-server. Use when the user asks to create flashcards from text or code, batch ingest study materials (problem sets, book excerpts), triage difficult cards or leeches, or manage Anki decks, tags, and notetypes.
Issue verifiable certificates and badges from IssueBadge, and manage dynamic QR codes. List your badge templates, send a certificate to a recipient by name and email, or create a QR code whose destination you can change later.
★not rated 0
changed 16d agoA
tokens not measured
originalMIT
Read your Moodle as a student: courses, deadlines, grades, announcements and course files, plus skills for task planning, grade projections and study guides.
★not rated 0 20d agoA
tokens not measured
originalMIT
Develop and inspect on-disk Agda proofs with agda-mcp: typecheck modules, inspect holes and constraints, infer or normalize expressions, and refine, case split, or search for proofs. Use for Agda source and interaction failures; not Lean, Coq, general dependent-type explanations, or development of the MCP server…