dev.tabnas/mcp

Est-ce que dev.tabnas/mcp est sûr ?

Au dernier audit MCP Hub, le serveur MCP « dev.tabnas/mcp » 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 7 outils

• compare_grammars≈ 335 tokens

  Grammar compatibility (AX plan Phase 5): does candidate grammar B still accept what baseline A accepted, and does it build the same tree for inputs both accept? Returns EVIDENCE AND CONFIDENCE, never a bare verdict: {normalForm, proven[], observed[], changes[], counterexamples[], confidence, why}. confidence:'low' with a stated reason is a successful run, not a failure — language inclusion is undecidable in general, so anything outside the decidable subset is reported not-proven rather than incompatible. Supply `corpus` (real inputs) for the tier that measures what your documents actually do.

  Paramètres, retour & exemple (5)

  Paramètres

  • a · object · requis
    Baseline grammar: the serialized GrammarSpec already deployed.
  • b · object · requis
    Candidate grammar: the serialized GrammarSpec proposed to replace it.
  • depth · integer · optionnel
    Derivation depth for generated inputs (default 3).
  • corpus · array · optionnel
    Inputs to replay through both grammars, comparing acceptance and tree shape.
  • options · object · optionnel
    TabnasOptions applied to both instances.

  Exemple d'appel

  {"name": "compare_grammars", "arguments": {"a": {}, "b": {}}}

  Exemple de retour

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

• describe_plugin≈ 92 tokens

  The full descriptor for one plugin, by package name ('@tabnas/csv') or bare fleet name ('csv'). Unknown names get {ok:false, errors} naming the known plugins.

  Paramètres, retour & exemple (1)

  Paramètres

  • name · string · requis
    Plugin name.

  Exemple d'appel

  {"name": "describe_plugin", "arguments": {"name": "texte"}}

  Exemple de retour

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

• explain_parse_error≈ 198 tokens

  Parse input and explain the failure. Returns {failed:false} when the input parses; otherwise {failed:true, diagnostic, registry} where registry is the error-code registry entry {code,message,hint} for the diagnostic code (resource tabnas://errors), or null for a code the bundled registry does not know (e.g. a plugin-declared code).

  Paramètres, retour & exemple (2)

  Paramètres

  • input · string · requis
    Source text to parse.
  • grammar · object · optionnel
    Serialized GrammarSpec (pure JSON, no functions). Schema: resource tabnas://schema/grammar. Grammars are validated before use; a `ref` key or a non-builtin function reference is rejected.

  Exemple d'appel

  {"name": "explain_parse_error", "arguments": {"input": "texte"}}

  Exemple de retour

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

• list_plugins≈ 63 tokens

  List every bundled tabnas plugin descriptor (tabnas.plugin.json of each fleet repo), sorted by name. Returns {plugins:[...]}.

  Paramètres, retour & exemple (0)

  Exemple d'appel

  {"name": "list_plugins", "arguments": {}}

  Exemple de retour

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

• parse≈ 242 tokens

  Parse input with the tabnas engine. Returns {ok:true, tree} or, on parse failure, {ok:false, diagnostic} — the structured diagnostic described by resource tabnas://schema/diagnostic. An invalid grammar is rejected as {ok:false, errors:[{path,message}]}. Without a grammar the bare engine is used, which defines no rules and produces an undefined tree for every input.

  Paramètres, retour & exemple (3)

  Paramètres

  • input · string · requis
    Source text to parse.
  • grammar · object · optionnel
    Serialized GrammarSpec (pure JSON, no functions). Schema: resource tabnas://schema/grammar. Grammars are validated before use; a `ref` key or a non-builtin function reference is rejected.
  • options · object · optionnel
    TabnasOptions applied to the fresh instance before the grammar. Data only: a plugins entry is rejected.

  Exemple d'appel

  {"name": "parse", "arguments": {"input": "texte"}}

  Exemple de retour

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

• test_grammar≈ 273 tokens

  Run TSV fixture content against a grammar in a fresh instance, using the fleet fixture convention (@tabnas/support): line 1 is a header, the input column is escape-decoded, the expected column is JSON or ERROR / ERROR:<code>. Returns {pass, fail, rows:[{row,input,expected,got,ok}]}. Refuses more than 10000 rows.

  Paramètres, retour & exemple (3)

  Paramètres

  • spec · string · requis
    TSV fixture content (not a path).
  • grammar · object · optionnel
    Serialized GrammarSpec (pure JSON, no functions). Schema: resource tabnas://schema/grammar. Grammars are validated before use; a `ref` key or a non-builtin function reference is rejected.
  • options · object · optionnel

  Exemple d'appel

  {"name": "test_grammar", "arguments": {"spec": "texte"}}

  Exemple de retour

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

• validate_grammar≈ 247 tokens

  Validate a serialized GrammarSpec. Structural validation against the bundled grammar schema, an engine load in a fresh instance, and a check that every rule reference (`p`, `r`) names a rule the grammar actually defines — a dangling reference loads cleanly and then fails at parse time with `unknown_rule`. Returns {ok:true, v} (v = declared builtin config-schema version, absent means 1) or {ok:false, errors:[{path,message}]}. Security: a grammar carrying a `ref` key, or any function reference that is not a $-suffixed engine builtin, is rejected — validating a grammar never runs supplied code.

  Paramètres, retour & exemple (1)

  Paramètres

  • grammar · object · requis
    Serialized GrammarSpec (pure JSON, no functions). Schema: resource tabnas://schema/grammar. Grammars are validated before use; a `ref` key or a non-builtin function reference is rejected.

  Exemple d'appel

  {"name": "validate_grammar", "arguments": {"grammar": {}}}

  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://mcp.tabnas.dev/mcp