spec-probe

Check C/C++ requirements from Markdown, DOCX or PDF with VS Code Copilot.

Quick start

Requires Linux, Python 3.12 (recommended), pip ≥ 23.0 and Copilot access. Do not pip install into the system Python (PEP 668 on Homebrew/Linux).

Install from PyPI

# 1) pipx — global CLI (recommended)
pipx install spec-probe --python python3.12
pipx upgrade spec-probe

# 2) venv + pip
python3.12 -m venv ~/.venvs/spec-probe && source ~/.venvs/spec-probe/bin/activate
pip install -U spec-probe

Then:

spec-probe-skill --vscode

Reload VS Code → choose Claude Sonnet 5.5 in the chat picker → run setup once:

/spec-setup

Provide module/spec paths (or target names to add); the agent writes targets: in config.yaml, proposes dependency/index scope, then handles login, indexing, pack and parsing. One module is one target; add more anytime without replacing the file. For browser login, setup pauses until you say “xong rồi” / “done”. Use /spec-setup resume only after interruption or input changes; status checks readiness. Never paste tokens into chat.

Daily use

Chat naturally in Vietnamese or English; the examples below are not fixed commands. Rephrase freely or ask follow-up questions. /spec-cover helps route the request explicitly.

Audit before export. Check parsed requirements against the original spec; automated results are not guaranteed correct or complete.

Automatic scope routing

No workflow choice is required in chat. After local spec parsing and filtering, verify defaults to an IDE-agent source assessment for 1–3 selected FRs; check uses the same lightweight path. The runner saves a pending session without calling pipeline models or requiring an index. Copilot then reads source, persists reviewed findings and completes the assessment automatically through the skill.

4+ selected FRs use the existing batch pipeline followed by source audit. Related requirements can share source reads during the agent assessment. Both paths use the same session, structured-finalize and report contracts. The threshold is a count heuristic, not a claim about requirement complexity.

For unattended CLI use, select --mode batch; --mode agent explicitly prepares a source-assessment handoff. A standalone CLI cannot run Copilot: pending output is not a completed verification, and report export is blocked until finalize. verify --all always uses batch; --all --mode agent is rejected to avoid overwriting unfinished target sessions. Direct Python pipeline APIs are unchanged.

Batch retrieval now uses early codegraph seeds while retaining broad source search. See retrieval quality safeguards for original spec fidelity, navigation provenance, rescue merging and verdict boundaries.

Recommended Copilot models

Picker and pipeline models are separate. Fresh installs use these defaults; existing settings are preserved. To adopt them, merge into ~/.config/spec-probe/config.json:

{
  "llm": {
    "jobs": {
      "enrich":       { "provider": "copilot", "model": "gpt-6-luna" },
      "search":       { "provider": "copilot", "model": "gpt-6-luna" },
      "rescue":       { "provider": "copilot", "model": "gpt-6-luna" },
      "verify":       { "provider": "copilot", "model": "gemini-3.8-flash" },
      "final_review": { "provider": "copilot", "model": "claude-sonnet-5.5" },
      "wiki":         { "provider": "copilot", "model": "gpt-6-luna" },
      "translate":    { "provider": "copilot", "model": "gpt-6-luna" },
      "report":       { "provider": "copilot", "model": "gpt-6-luna" },
      "parse":        { "provider": "copilot", "model": "gpt-6-luna" }
    }
  }
}

Update

spec-probe update

Reinstall

To reinstall the package and refresh VS Code skills:

pipx reinstall spec-probe --python python3.12   # or: pip install -U spec-probe in your venv
spec-probe-skill --vscode

This does not remove ~/.config/spec-probe/ (config, credentials and data). To start setup again, run /spec-setup; do not delete that directory unless you intend to erase its contents.