• ORPHANED
  • ACTIVE
  • HUMAN
  • CLEAN

How to audit formula constants with your AI

Connect Spec Prover to your AI client once. After that, your agent handles the heavy lifting of scanning technical specs for dead weight.

Ask AI about this page

Short answer

How do I find unused constants in my technical specs?

Your AI scans your specification files to find constants that aren't actually used in any formulas. It flags these orphaned values so you can prune them without breaking your math. You'll get a clear list of every unused constant.

Audit outcomes.

Where your findings land.

The AI organizes its findings into these specific categories.

ORPHANED

Unused constants

The AI identifies values defined in your spec that never appear in a calculation. You get a list of candidates for removal.

ACTIVE

Verified constants

These are the values currently driving your formulas. The AI confirms they are tied to active logic.

HUMAN

Manual review needed

If a constant is used in a way the AI can't verify, it flags it for you to check manually.

CLEAN

Validated specs

Once you've reviewed the findings, you have a spec where every constant serves a purpose.

The workflow

What your AI does when the spec arrives.

The AI handles the tedious pattern matching so you don't have to hunt through lines of code.

  1. Scan definitions

    The AI reads through your technical specification to map out every constant defined in the document.

    prove_spec_function

  2. Trace usage

    It follows the logic of every formula to see which constants are actually being called.

    prove_spec_function

  3. Identify orphans

    The AI compares the list of definitions against the list of used values to find the gaps.

    prove_spec_function

  4. Report findings

    Your agent presents a clear breakdown of what can be safely removed and what must stay.

    prove_spec_function

Try it

Copy these to start.

Use these prompts to kick off the audit.

Starting points

These are opening lines. Swap out the bracketed text for your actual file names or paths.

Spec Prover Connector

You're all set. Choose your MCP client and follow the setup instructions.

Connector linkhttps://edge.vinkius.com/vk_preview_NbIciblMWXQuIBLxYENirh67y4h51MySXcQihZn2/mcp

Claude Desktop

Follow the steps below to connect in seconds.

  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.jsonCopy
{
  "mcpServers": {
    "spec-prover-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_NbIciblMWXQuIBLxYENirh67y4h51MySXcQihZn2/mcp"
    }
  }
}
Copy into chat04

  • Audit [filename.spec] and list all constants that aren't used in any formulas.

  • Check [technical_spec_v2.pdf] for orphaned constants and show me the results.

  • I need to clean up [system_constants.json]. Find any values that aren't being called by a function.

  • Scan [project_specs/math_logic.txt] and tell me which constants are safe to delete.

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

Start here

Connect Spec Prover once, then ask.

Just link the MCP to your client. Your credentials stay encrypted, and you can start auditing immediately.

Connect Spec Prover to your AI

FAQ

How the audit behaves

  • 01

    Will the AI delete my constants automatically?

    No. The AI only identifies and flags the constants. You must manually remove them from your files.

  • 02

    Can it audit constants inside Excel files?

    The AI can only audit files that the prove_spec_function tool is able to read and parse.

  • 03

    Does it check if the formulas themselves are correct?

    No. It only checks if the constants are being used. It doesn't validate the mathematical accuracy of your logic.

  • 04

    What happens if a constant is used in a comment?

    The AI ignores constants mentioned in comments; it only looks for active usage within the functional logic.

  • 05

    Can I use this with Cursor?

    Yes, any MCP-compatible client like Cursor, Claude, or Windsurf works with this Connector.

  • More questions about Spec Prover? The Connector page answers them. See everything the Spec Prover Connector can do

Connect Spec Prover to Claude, Cursor, ChatGPT & more