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.4
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.4.tar.gz | 237.7 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| spec_probe-0.1.4-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 491.7 kB
Release files / spec_probe-0.1.4.tar.gz
| Download URL | spec_probe-0.1.4.tar.gz |
|---|---|
| Size | 237.7 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
7c7c84bfd6560ec80050a3fc90095a316a4fe959d0f0ef35709efb5b199c5081
|
|
BLAKE2b-256 checksum How to use checksums |
d2909cd0be57c9e76a9aeb87df5df19c85f7a05f016d2aca18ca3ed5bd77bc4f
|
| 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.4-py3-none-any.whl
| Download URL | spec_probe-0.1.4-py3-none-any.whl |
|---|---|
| Size | 254.0 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
048e318d52dfe1190a754d6ae7d4ea071c33830d247b57c9e70c678281502141
|
|
BLAKE2b-256 checksum How to use checksums |
c03d4071dd1c14a2a5df5a270cd7bc44004dd5f1f5bcef88d089d942074eb999
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.7
|