• HUÉRFANAS
  • ACTIVAS
  • HUMANO
  • LIMPIO

Cómo auditar constantes de fórmulas con tu IA

Conecta Spec Prover a tu cliente de IA una sola vez. Después, tu agente se encargará de escanear las especificaciones técnicas en busca de elementos innecesarios.

Pregunta a la IA sobre esta página

Respuesta rápida

¿Cómo encuentro constantes sin uso en mis especificaciones?

Tu IA analiza tus archivos de especificación para localizar constantes que no se utilizan en ninguna fórmula. Identifica estos valores huérfanos para que puedas eliminarlos sin alterar tus cálculos. Obtendrás una lista clara de cada constante sin uso.

Resultados de la auditoría.

Dónde aparecen tus hallazgos.

La IA organiza sus resultados en estas categorías específicas.

HUÉRFANAS

Constantes sin uso

La IA identifica valores definidos en tu especificación que nunca aparecen en un cálculo. Recibirás una lista de candidatos para eliminar.

ACTIVAS

Constantes verificadas

Son los valores que actualmente impulsan tus fórmulas. La IA confirma que están vinculados a una lógica activa.

HUMANO

Revisión manual necesaria

Si una constante se usa de una forma que la IA no puede verificar, la marcará para que la revises manualmente.

LIMPIO

Especificaciones validadas

Tras revisar los hallazgos, tendrás una especificación donde cada constante cumple una función.

El flujo

Lo que hace tu IA cuando llega la especificación.

La IA se encarga de la tediosa búsqueda de patrones para que no tengas que rastrear líneas de código.

  1. Escanear definiciones

    La IA lee tu especificación técnica para mapear cada constante definida en el documento.

    prove_spec_function

  2. Rastrear uso

    Sigue la lógica de cada fórmula para ver qué constantes se están llamando realmente.

    prove_spec_function

  3. Identificar huérfanas

    La IA compara la lista de definiciones con la de valores usados para encontrar las discrepancias.

    prove_spec_function

  4. Reportar hallazgos

    Tu agente presenta un desglose claro de qué se puede eliminar con seguridad y qué debe permanecer.

    prove_spec_function

Pruébalo

Copia estos comandos para empezar.

Usa estos prompts para iniciar la auditoría.

Puntos de partida

Estas son frases iniciales. Sustituye el texto entre corchetes por tus nombres o rutas de archivo reales.

Spec Prover Connector

Todo listo. Elige tu cliente MCP y sigue las instrucciones de configuración.

Enlace del conectorhttps://edge.vinkius.com/vk_preview_NbIciblMWXQuIBLxYENirh67y4h51MySXcQihZn2/mcp

Claude Desktop

Sigue los pasos siguientes para conectarte en segundos.

  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.
Configuración · claude_desktop_config.jsonCopiar
{
  "mcpServers": {
    "spec-prover-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_NbIciblMWXQuIBLxYENirh67y4h51MySXcQihZn2/mcp"
    }
  }
}
Copia en el chat04

  • Audita [filename.spec] y lista todas las constantes que no se usen en ninguna fórmula.

  • Busca constantes huérfanas en [technical_spec_v2.pdf] y muéstrame los resultados.

  • Necesito limpiar [system_constants.json]. Encuentra cualquier valor que no esté siendo llamado por una función.

  • Escanea [project_specs/math_logic.txt] y dime qué constantes se pueden borrar de forma segura.

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

Empieza aquí

Conecta Spec Prover una vez y luego pregunta.

Solo tienes que vincular el MCP a tu cliente. Tus credenciales permanecen cifradas y puedes empezar a auditar de inmediato.

Conectar Spec Prover a tu IA

FAQ

Cómo funciona la auditoría

  • 01

    ¿La IA borrará mis constantes automáticamente?

    No. La IA solo identifica y marca las constantes. Debes eliminarlas manualmente de tus archivos.

  • 02

    ¿Puede auditar constantes dentro de archivos Excel?

    La IA solo puede auditar los archivos que la herramienta prove_spec_function sea capaz de leer y procesar.

  • 03

    ¿Verifica si las fórmulas en sí son correctas?

    No. Solo comprueba si las constantes se están utilizando. No valida la precisión matemática de tu lógica.

  • 04

    ¿Qué pasa si una constante aparece en un comentario?

    La IA ignora las constantes mencionadas en comentarios; solo busca su uso activo dentro de la lógica funcional.

  • 05

    ¿Puedo usar esto con Cursor?

    Sí, cualquier cliente compatible con MCP como Cursor, Claude o Windsurf funciona con este conector.

  • ¿Tienes más dudas sobre Spec Prover? La página del conector tiene las respuestas. Ver todo lo que puede hacer el Spec Prover Connector

Conecta Spec Prover a Claude, Cursor, ChatGPT y más