spec-probe
Check code against functional requirements in a spec (.md / .docx / .pdf). Use VS Code Copilot chat (/spec-cover, …) or the spec-probe CLI.
Install
pip install spec-probe
spec-probe-skill --vscode
| Step | What it does |
|---|---|
pip install spec-probe |
Python package + CLI only |
spec-probe-skill --vscode |
Skills → ~/.copilot/skills/, config + .venv under ~/.config/spec-probe/ |
Python ≥ 3.11. Reload VS Code after spec-probe-skill.
Optional: sudo apt install ripgrep (faster search on Linux).
Configure
Edit ~/.config/spec-probe/:
.env—EXACODE_API_KEY(and other keys if you change LLM jobs inconfig.json).config.yaml— absolute paths:
input:
module_path: /abs/path/to/your/app
spec_path: /abs/path/to/spec.md
related_modules:
paths:
- /abs/path/to/other/service
Codegraph (optional)
Needs Node.js.
spec-probe-codegraph /abs/path/to/module
With related_modules, index the monorepo root. After big changes: codegraph sync /abs/path/to/monorepo-root.
Chat workflow (VS Code Copilot)
| Step | In chat |
|---|---|
| Pack | /spec-pack |
| Explore spec | parse spec summary / list section … |
| Verify | verify FR … / check requirement: (paste text) |
| Report file | write report (after verify) |
| Audit | /spec-audit |
Large spec: parse → a few FRs or one section → verify. Verify/check → chat only; ask for a report when you need files.
CLI (optional)
spec-probe verify --module /abs/app --spec /abs/spec.md --fr FR-001
spec-probe check "The module shall …"
spec-probe parse --spec /abs/spec.md --summary
Paths default from ~/.config/spec-probe/config.yaml when omitted.
License
MIT — see LICENSE. Maintainers: docs/PYPI.md.
Release files for spec-probe 0.1.3
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| spec_probe-0.1.3.tar.gz | 204.8 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| spec_probe-0.1.3-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 421.5 kB
Release files / spec_probe-0.1.3.tar.gz
| Download URL | spec_probe-0.1.3.tar.gz |
|---|---|
| Size | 204.8 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
7c56016abef8fee1090911839f23567ec9243bb4a6a85e8153e394d9c586318e
|
|
BLAKE2b-256 checksum How to use checksums |
6c0ee31f0901968380a71acb1261ab9fd9e1cd52f1504cdec35f66f801d9ea50
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.7
|
Release files / spec_probe-0.1.3-py3-none-any.whl
| Download URL | spec_probe-0.1.3-py3-none-any.whl |
|---|---|
| Size | 216.6 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
b9b61f936daf2587761f442a1e60f860a35f62c66977c944ec31e94f330f9586
|
|
BLAKE2b-256 checksum How to use checksums |
d36bf5c9c023f235881828f73f7a493aaa88ed719c4ee633e3afd74ace32a6b8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.7
|