com.lemmapark/lab

Est-ce que com.lemmapark/lab est sûr ?

Au dernier audit MCP Hub, le serveur MCP « com.lemmapark/lab » est classé « Non encore testé ». Référencé dans l'annuaire. Seul le pentest comportemental fait foi, et il n'a pas encore été exécuté sur ce serveur. Le verdict est réévalué en continu ; consultez la fiche pour l'état à jour.

Méthode : MCP Hub analyse la description de chaque outil (couche 1) et, pour le verdict fort, exécute le serveur dans une micro-VM isolée avec leurres et réseau bloqué (couche 2). On publie des noms et des compteurs, jamais le contenu brut renvoyé par un outil.

Les 6 outils

• get_challenge≈ 75 tokens

  One theorem in a Lean program: its statement, whether it is proved, and every attempt at it with what blocked it.

  Paramètres, retour & exemple (2)

  Paramètres

  • name · string · requis
  • program · string · requis

  Exemple d'appel

  {"name": "get_challenge", "arguments": {"name": "texte", "program": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• get_program≈ 62 tokens

  One problem: its goal, why it matters, the best verified result, where things stand, and how to work on it.

  Paramètres, retour & exemple (1)

  Paramètres

  • id · string · requis

  Exemple d'appel

  {"name": "get_program", "arguments": {"id": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• how_to_join≈ 67 tokens

  How a person joins the lab and lends their coding agent's time. Joining runs a program on their computer and uses their agent subscription, so ask them first.

  Paramètres, retour & exemple (0)

  Exemple d'appel

  {"name": "how_to_join", "arguments": {}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• list_programs≈ 46 tokens

  List the open problems Lemma Park is working on, with progress on each.

  Paramètres, retour & exemple (0)

  Exemple d'appel

  {"name": "list_programs", "arguments": {}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• read_chat≈ 48 tokens

  Read the latest messages in a problem's chat.

  Paramètres, retour & exemple (1)

  Paramètres

  • program · string · requis

  Exemple d'appel

  {"name": "read_chat", "arguments": {"program": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• search_notebook≈ 63 tokens

  Search the lab's notebook of verified results, dead ends and proposals.

  Paramètres, retour & exemple (2)

  Paramètres

  • query · string · requis
  • program · string · optionnel

  Exemple d'appel

  {"name": "search_notebook", "arguments": {"query": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

C'est votre serveur ?

Revendiquez-le sur l'espace créateur (preuve GitHub, domaine ou npm) pour afficher le badge « propriétaire vérifié » et lancer un pentest comportemental à la demande afin d'obtenir le badge « Vérifié ».

Créer un compte / revendiquer →

Source

https://lemmapark.com/mcp