• ORPHELINES
  • ACTIVES
  • HUMAIN
  • PROPRE

Auditer les constantes de formules avec votre IA

Connectez Spec Prover à votre client IA une seule fois. Ensuite, votre agent s'occupe de scanner vos spécifications techniques pour éliminer le superflu.

Demandez à l'IA à propos de cette page

Réponse rapide

Comment trouver les constantes inutilisées dans mes spécifications ?

Votre IA analyse vos fichiers de spécifications pour repérer les constantes qui ne sont utilisées dans aucune formule. Elle signale ces valeurs orphelines pour que vous puissiez les supprimer sans fausser vos calculs. Vous obtiendrez une liste précise de chaque constante inutilisée.

Résultats de l'audit.

Où arrivent vos résultats.

L'IA organise ses conclusions selon ces catégories précises.

ORPHELINES

Constantes inutilisées

L'IA identifie les valeurs définies dans votre spec qui n'apparaissent jamais dans un calcul. Vous obtenez une liste de candidats à la suppression.

ACTIVES

Constantes vérifiées

Il s'agit des valeurs qui pilotent actuellement vos formules. L'IA confirme qu'elles sont liées à une logique active.

HUMAIN

Révision manuelle requise

Si une constante est utilisée d'une manière que l'IA ne peut vérifier, elle vous la signale pour un contrôle manuel.

PROPRE

Spécifications validées

Une fois l'audit terminé, vous disposez d'une spécification où chaque constante remplit une fonction réelle.

Le flux

Ce que fait votre IA à la réception de la spec.

L'IA gère la recherche fastidieuse de motifs pour vous éviter de parcourir des lignes de code.

  1. Scanner les définitions

    L'IA parcourt votre spécification technique pour répertorier chaque constante définie dans le document.

    prove_spec_function

  2. Tracer l'utilisation

    Elle suit la logique de chaque formule pour voir quelles constantes sont réellement appelées.

    prove_spec_function

  3. Identifier les orphelines

    L'IA compare la liste des définitions à celle des valeurs utilisées pour trouver les écarts.

    prove_spec_function

  4. Rapporter les résultats

    Votre agent présente un récapitulatif clair des éléments que vous pouvez supprimer et de ceux qui doivent rester.

    prove_spec_function

Essayez

Copiez ces commandes pour commencer.

Utilisez ces prompts pour lancer l'audit.

Points de départ

Ce sont des exemples d'amorces. Remplacez le texte entre crochets par vos noms ou chemins de fichiers réels.

Spec Prover Connector

Tout est prêt. Choisissez votre client MCP et suivez les instructions de configuration.

Lien du connecteurhttps://edge.vinkius.com/vk_preview_NbIciblMWXQuIBLxYENirh67y4h51MySXcQihZn2/mcp

Claude Desktop

Suivez les étapes ci-dessous pour vous connecter en quelques secondes.

  1. 1In Claude Desktop, open Settings → Connectors.
  2. 2Click “Add custom connector” and paste the connector link above as the remote MCP server URL.
  3. 3Click Add and start a new chat — Spec Prover capabilities are ready to use.
Configuration · claude_desktop_config.jsonCopier
{
  "mcpServers": {
    "spec-prover-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_NbIciblMWXQuIBLxYENirh67y4h51MySXcQihZn2/mcp"
    }
  }
}
Copiez dans le chat04

  • Audite [filename.spec] et liste toutes les constantes qui ne sont utilisées dans aucune formule.

  • Vérifie [technical_spec_v2.pdf] pour trouver les constantes orphelines et montre-moi les résultats.

  • Je dois nettoyer [system_constants.json]. Trouve toutes les valeurs qui ne sont appelées par aucune fonction.

  • Scanne [project_specs/math_logic.txt] et dis-moi quelles constantes je peux supprimer sans risque.

  • Claude
  • ChatGPT
  • Cursor
  • VS Code
  • Windsurf
  • Claude Code
  • JetBrains
  • Cline

Commencez ici

Connectez Spec Prover une fois, puis demandez.

Liez simplement le MCP à votre client. Vos identifiants restent cryptés et vous pouvez lancer l'audit immédiatement.

Connecter Spec Prover à votre IA

FAQ

Fonctionnement de l'audit

  • 01

    L'IA va-t-elle supprimer mes constantes automatiquement ?

    Non. L'IA se contente d'identifier et de signaler les constantes. Vous devez les supprimer manuellement de vos fichiers.

  • 02

    Peut-elle auditer des constantes dans des fichiers Excel ?

    L'IA ne peut auditer que les fichiers que l'outil prove_spec_function est capable de lire et d'analyser.

  • 03

    Vérifie-t-elle si les formules elles-mêmes sont correctes ?

    Non. Elle vérifie uniquement si les constantes sont utilisées. Elle ne valide pas l'exactitude mathématique de votre logique.

  • 04

    Que se passe-t-il si une constante est utilisée dans un commentaire ?

    L'IA ignore les constantes mentionnées dans les commentaires ; elle ne cherche que l'utilisation active dans la logique fonctionnelle.

  • 05

    Puis-je utiliser cela avec Cursor ?

    Oui, tout client compatible MCP comme Cursor, Claude ou Windsurf fonctionne avec ce connecteur.

  • D'autres questions sur Spec Prover ? La page du connecteur y répond. Voir toutes les capacités du connecteur Spec Prover

Connectez Spec Prover à Claude, Cursor, ChatGPT et d'autres