FRENES

Exécution de code · serveur MCP

Sema : serveur MCP, installation et sécurité

Sema est un serveur MCP open source qui permet à un agent IA de évaluer, compiler et formater du code Sema avec primitives LLM. Son dépôt compte 55 étoiles, son dernier commit date du 22 octobre 2026 et il est sous licence MIT.

Activement maintenuAccès au système

À quoi sert Sema

D'après son dépôt : « Outils MCP pour Sema : évaluation, compilation, construction, formatage et documentation d’un Lisp doté de primitives LLM. »

Un serveur MCP donne à un agent IA des outils supplémentaires, appelés au fil de la conversation : l'agent lit leur description, décide de les utiliser et reçoit le résultat. Sema est classé dans la catégorie Exécution de code, qui réunit 32 serveurs dans l'annuaire ; il y occupe la 22e place par nombre d'étoiles.

Mots-clés déclarés par le dépôt : interpreter, lisp, programming-language, rust, agentic-ai, agents.

Installer et brancher Sema

Modes de distribution déclarés dans le registre MCP officiel :

  • paquet MCPB (installation en un clic dans Claude Desktop)

Comme tout serveur MCP, il se déclare dans la configuration de votre client (Claude Desktop, Claude Code, Cursor, VS Code, Codex…) : un nom, la commande qui le lance ou son adresse, et les variables d'environnement éventuelles. Le client le démarre ensuite et liste ses outils. Langage du projet : Rust.

Sécurité : ce qu'il faut vérifier

Un serveur MCP exécute du code avec les droits que vous lui donnez, et ses descriptions d'outils sont lues par le modèle : un serveur malveillant ou compromis peut détourner l'agent. Lisez le code ou choisissez un serveur maintenu et suivi avant de le brancher.

Points relevés pour Sema :

  • Accès au système : la catégorie Exécution de code donne à l'agent la main sur des fichiers, un terminal, du code ou un navigateur. Une instruction piégée dans un contenu lu par l'agent (injection de prompt) peut alors se traduire en action.

Bonnes pratiques : n'accorder que les droits nécessaires (moindre privilège), exiger une validation humaine pour les actions irréversibles, et faire le point avec le diagnostic de sécurité d'agent IA.

Activité et maintenance du projet

Créé le 11 février 2026, le dépôt sema-lisp/sema totalise 55 étoiles et 6 copies (forks), avec 5 tickets ouverts. Il compte plus d'étoiles que 54 % des serveurs de l'annuaire. Il a reçu des modifications ce mois-ci. Version publiée dans le registre : 1.37.0 (9 octobre 2026).

Les étoiles mesurent l'attention reçue, pas la qualité : un projet récent et très médiatisé peut en accumuler vite, un serveur utile mais spécialisé en aura peu.

Container useContainer use : 4,1 k4,1 kMATLAB MCP ServerMATLAB MCP Server : 1,7 k1,7 kLLM SandboxLLM Sandbox : 1,1 k1,1 kTidewave PhoenixTidewave Phoenix : 858858Tidewave RailsTidewave Rails : 476476SuperserveSuperserve : 466466IPhone UseIPhone Use : 345345OrcaReplayOrcaReplay : 281281SemaSema : 5555
Étoiles GitHub des serveurs les plus suivis de la catégorie (échelle logarithmique) ; Sema en orange. Relevé du 25 octobre 2026.

Verdict

Sema est un choix raisonnable, à vérifier sur les points listés ci-dessous avant de le brancher.

Points forts

  • Projet actif : commit récent
  • Inscrit au registre MCP officiel
  • Licence permissive (MIT)

À éviter si…

  • Vous ne pouvez pas isoler l'agent (bac à sable, conteneur)

Questions fréquentes

Comment installer Sema ?

Sema est distribué sous forme de paquet MCPB (installation en un clic dans Claude Desktop). Ajoutez-le à la configuration MCP de votre client (Claude Desktop, Cursor, VS Code…) en suivant le README de sema-lisp/sema.

Sema est-il gratuit ?

Le code est publié sous licence MIT, utilisable gratuitement.

Sema est-il sûr ?

Points de vigilance relevés : accès au système. Donnez-lui le minimum de droits et validez les actions sensibles.

Est-ce un serveur officiel ?

Il est publié dans le registre MCP sous l'espace de noms vérifié com.sema-lang, ce qui atteste que l'éditeur contrôle ce domaine.

Quelles alternatives à Sema ?

Dans la même catégorie : Container use, LLM Sandbox, Tidewave Phoenix et Superserve.

Articles liés

Neutralité. Aucun lien d'affiliation. Aucun éditeur ne paie pour être évalué, noté ou classé. Les évaluations sont dirigées par François Chollet, neutres et factuelles, et chaque donnée est datée et sourcée. Comment nous notons