Skip to main content

MCP App Store

Compétences d'agent

Packages SKILL.md qui étendent Claude Code, Cursor, Copilot et autres agents IA.

Étiquettes

Toutes les compétences automation cli devops security testing workflow mcp developer-tools python integration documentation ci orchestration api research frontend audit monitoring compliance productivity

Score de confiance Utilité Recommandé Étoiles Récent

Filtres

Étiquettes

#proof-completion×

redact

Complétion de Preuves Lean 4

redact

Complétez des preuves mathématiques dans Lean 4 pour les suites et la convergence, garantissant des résultats sans avertissement et typés.

lean4formal-verificationmathematics

4 déclencheurs

MCP App Store

Le répertoire de l'écosystème IA — MCP Apps, Compétences d'agent, et actualités quotidiennes.

Répertoire

MCP Apps & Serveurs Compétences d'agent Actualités IA Modèles IA Qu'est-ce que les MCP Apps ?

Ressources

Documentation Spécification GitHub

Compte

Connexion Commencer Tableau de bord

Entreprise

Publicité Contact Créer une MCP App

Légal

Politique de confidentialité Conditions d'utilisation

© 2026 MCP App Store

Tous droits réservés.

Apps & Serveurs