biz.dfch.SpecMgr
An artifact manager for system specifications.
This project is an MCP server that you can use to manage different specification artifacts.
At this time, we have these artifact:
- Architecture Decision Record (ADR)
- Decision (DEC)
- Feature (FEAT)
- Goal (GOL)
- Problem Statement (PRB)
- Question and Answer (QA)
- Requirement (REQ)
- Risk (RSK)
- Standard Operating Procedure (SOP)
- Task List (TSK)
- Use Case (UC)
- Verification Case Record (VCR)
See MCP Server and docs/MCP.md for details.
The MCP server (and the management CLI) are optional. You install them as "extras" (see Installation).
Table of Contents
Installation
As a library only (no CLI, no MCP server):
pip install biz-dfch-specmgr
With the CLI:
pip install "biz-dfch-specmgr[cli]"
With the MCP server:
pip install "biz-dfch-specmgr[mcp]"
Or with uv:
uv add "biz-dfch-specmgr[cli,mcp]"
CLI Usage
With the CLI you can generate schema and documentation. We use these commands
in pre-commit hooks and ci.yml.
No domain document-management commands (create/update/status/etc.) exist
in the CLI yet — those are currently MCP-only, see
MCP Server. The CLI covers version, mcp (below), and a
handful of cross-cutting/doc-generation commands (specmgr --help for the
full list).
specmgr version
MCP Server
Requires the mcp extra. The server exposes resources, tools, and prompts
for document management, plus cross-cutting utilities (e.g. markdown
formatting).
The full, up-to-date list of every resource, resource template, tool, and
prompt — with parameters, MIME types, and descriptions — lives in
docs/MCP.md. That document generated from the live server
registration by specmgr mcp-docs and kept in sync by a pre-commit hook and
a CI check.
Environment Variables
Every document type stores its .md files in a base directory on disk —
the file is always the source of truth, re-read and re-parsed on every
tool call, so hand-editing a file between calls is safe.
- ADRs: base directory defaults to
docs/adr, configurable via theSPECMGR_ADR_DIRenvironment variable. This is ADR-specific and not shared with other document types. - Requirements (REQ) and future document types: share one root directory,
configurable via the
SPECMGR_DOCS_DIRenvironment variable (defaultdocs), with each type's own subdirectory appended automatically (e.g.docs/reqfor requirements). - The
webfetchtool (bearer-authenticated, URL-filtered HTTP GET, intended primarily for Web Server instances using PAT authentication) requires two environment variables:SPECMGR_WEBFETCH_BASE_URL(the base URL requested URLs must case-insensitively start with) andSPECMGR_WEBFETCH_BEARER(the bearer token sent as theAuthorizationheader). Both must be set or the tool raises an error; there are no defaults.
Start the MCP Server
Start the server with the mcp command:
specmgr mcp
By default it runs over stdio, for MCP hosts that launch it as a
subprocess (see Add to OpenCode below). It can also
run over SSE/network:
specmgr mcp --transport sse --host localhost --port 8000
Or over the spec-current streamable-http transport, which replaces the
legacy/deprecated sse transport for HTTP deployments:
specmgr mcp --transport streamable-http --host localhost --port 8000
| Option | Env var | Default | Description |
|---|---|---|---|
--transport / -t |
SPECMGR_MCP_TRANSPORT |
stdio |
Transport mode: stdio, sse, or streamable-http |
--host / -h |
SPECMGR_MCP_HOST |
localhost |
Bind address (SSE/streamable-http mode only) |
--port / -p |
SPECMGR_MCP_PORT |
8000 |
TCP port (SSE/streamable-http mode only) |
Add to OpenCode
To add the specmgr MCP server to your OpenCode configuration:
-
Open your OpenCode config file (typically
~/.config/opencode/opencode.jsonor~/.config/opencode/opencode.jsonc) -
Add the following configuration to the
mcpsection (and use it viastdio):
"specmgr": {
"type": "local",
"enabled": true,
"command": [
"uvx",
"--from",
"biz-dfch-specmgr[mcp]",
"specmgr",
"mcp"
]
}
- Save the file and restart OpenCode
Development
Install dev dependencies
uv sync --all-extras
Install pre-commit hooks (one-time)
uv run --frozen pre-commit install
uv sync only installs Python dependencies into the venv — it never
registers the hooks from .pre-commit-config.yaml with git, so run
this once per clone before your first commit.
Run linters
uv run --frozen ruff format --check
uv run --frozen ruff check
uv run --frozen pylint $(git ls-files '*.py')
Run tests
uv run --frozen python -m unittest discover -v -s tests -t . -p "test_*.py"
Testing
You can exercise the MCP server directly with the MCP Inspector, in either its CLI (scriptable) or TUI (interactive terminal) client.
Prerequisites
- The
mcpextra installed (see Installation), so.venv/bin/specmgrexists. npx(ships with Node.js, version 22.19.0 or newer) — no separate Inspector install is required, it runs on demand vianpx @modelcontextprotocol/inspector.
Point the Inspector at the venv's specmgr binary directly (rather than at
uv run specmgr mcp) so none of uv run's own flags (e.g. --frozen) are
mistaken for Inspector flags:
npx @modelcontextprotocol/inspector --tui .venv/bin/specmgr mcp
npx @modelcontextprotocol/inspector --cli .venv/bin/specmgr mcp --method tools/list
CLI examples
Each CLI invocation connects, runs one request, prints the result, and exits — useful for scripting or a quick smoke test.
Get the specmgr://version resource:
npx @modelcontextprotocol/inspector --cli .venv/bin/specmgr mcp \
--method resources/read --uri specmgr://version
List task lists via the list_tsk tool:
npx @modelcontextprotocol/inspector --cli .venv/bin/specmgr mcp \
--method tools/call --tool-name list_tsk
Get one task list via the get_tsk tool (replace <id> with a real task
list id from the list_tsk output above):
npx @modelcontextprotocol/inspector --cli .venv/bin/specmgr mcp \
--method tools/call --tool-name get_tsk --tool-arg id=<id>
Add --format json to any of the above to get machine-readable output,
e.g. piped into jq.
Connecting with the TUI
npx @modelcontextprotocol/inspector --tui .venv/bin/specmgr mcp
This launches the server as an ad-hoc stdio target and opens the terminal
UI with it preselected (unlike the CLI, the TUI has no --server <name>
flag — it lists whichever servers are available and you pick one, though
with a single ad-hoc target there is nothing else to pick). Press c to
connect, then use the tabs to explore:
t— Tools tab: browse and call tools (e.g.get_tsk) with a form-based input.r— Resources tab: browse and read resources (e.g.specmgr://version,specmgr://iso25010).m— Prompts tab: list and render prompts.p— Protocol tab: raw JSON-RPC request/response history, useful for debugging.o— Console tab:stderrfrom the connectedspecmgr mcpprocess (tracebacks land here).c/d— connect / disconnect;EscorCtrl+C— exit.
The TUI requires a real TTY (raw-mode support) and does not run in a headless CI job — use the CLI client there instead.
Make a Release
The normative release procedure is the SOP
Perform a release of biz.dfch.SpecMgr
(SOP 98537416). Where this section, the script, or the command ever
disagree with the SOP, the SOP wins.
Using the OpenCode command (recommended)
/release [X.Y.Z | patch | minor | major] [--dry-run]
The command drives the staged script and performs the SOP's agent-judgment
steps: it confirms the resolved version with you, curates the changelog's
[Unreleased] section, pauses at the merge gate before dev is merged
into main, and triages failures without ever auto-retrying.
Using the script directly
Each SOP step maps to a deterministic, idempotent stage (the SOP carries a manual fallback command for every step):
scripts/release.sh resolve minor # print the target version (e.g. 0.15.0); no mutation
scripts/release.sh precheck 0.15.0 # fail-fast pre-release checks
scripts/release.sh bump 0.15.0 # pyproject.toml + uv.lock
scripts/release.sh changelog 0.15.0 # [Unreleased] -> dated section
scripts/release.sh commit-push 0.15.0 # 3-file release commit, push dev, wait for CI
scripts/release.sh pr-create 0.15.0 # dev->main release PR, wait for checks (no merge)
scripts/release.sh pr-merge 0.15.0 # ff-only merge (after maintainer go-ahead)
scripts/release.sh tag-push 0.15.0 # tag on main, push the tag, back to dev
scripts/release.sh publish-wait 0.15.0 # the four publish.yml jobs
scripts/release.sh release-notes 0.15.0 # verify the release + set the GH release notes
scripts/release.sh status 0.15.0 # where does this release stand?
scripts/release.sh all 0.15.0 # the whole chain, TTY only (interactive merge gate)
Changelog curation (SOP step 3) is an agent or manual step: the
changelog stage only moves the already-curated [Unreleased] section
into its dated form.
Manual fallback
Follow the SOP step by step — each step carries a Manual fallback
paragraph. The essentials: bump the version in pyproject.toml and
move the [Unreleased] section of CHANGELOG.md into a new dated
## [x.y.z] - YYYY-MM-DD section; uv lock; commit exactly
pyproject.toml + uv.lock + CHANGELOG.md as
chore(release): bump version to vX.Y.Z and push to dev; once CI is
green, open the dev → main pull request and merge it
fast-forward-only (git merge --ff-only dev — never a merge commit or
squash: main must stay a strict ancestor of dev); then create
git tag vX.Y.Z on main, push the tag, and wait for the publish
workflow.
Note: .github/workflows/publish.yml handles the rest of the release
automatically once the tag above is pushed — it builds and publishes the
sdist/wheel to TestPyPI then PyPI via Trusted Publishing (OIDC, no
stored token), creates the matching GitHub Release with the built
artifacts attached, and publishes server.json (repo root, the MCP
Registry publisher manifest — see the
server.json format spec)
to the MCP Registry
via mcp-publisher/GitHub OIDC. biz-dfch-specmgr is live on
PyPI and in the
MCP Registry
as of v0.1.0.
License
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file biz_dfch_specmgr-0.16.0.tar.gz.
File metadata
- Download URL: biz_dfch_specmgr-0.16.0.tar.gz
- Upload date:
- Size: 541.0 kB
- Tags: Source
- Uploaded using Trusted Publishing? Yes
- Uploaded via:
twine/6.1.0 CPython/3.13.14
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
8ae09858d0f6f2d5f4381f20068e1919918683e879842b7ffbe9fd4a9c9679f6
|
|
| MD5 |
e25e8c4a7bf21cca2fce447a79bd9bbe
|
|
| BLAKE2b-256 |
4cf2e4649a08f12eda7cb1ceecc08f3a293fa59857d1a5683d0b4761b02a4e6c
|
Provenance
The following attestation bundles were made for biz_dfch_specmgr-0.16.0.tar.gz:
Publisher:
publish.yml on dfch/biz.dfch.SpecMgr
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
biz_dfch_specmgr-0.16.0.tar.gz -
Subject digest:
8ae09858d0f6f2d5f4381f20068e1919918683e879842b7ffbe9fd4a9c9679f6 - Sigstore transparency entry: 2673250418
- Sigstore integration time:
-
Permalink:
dfch/biz.dfch.SpecMgr@6ed4687a81db5a6114d4348cc1f3544d9755c5b2 -
Branch / Tag:
refs/tags/v0.16.0 - Owner: https://github.com/dfch
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
publish.yml@6ed4687a81db5a6114d4348cc1f3544d9755c5b2 -
Trigger Event:
push
-
Statement type:
File details
Details for the file biz_dfch_specmgr-0.16.0-py3-none-any.whl.
File metadata
- Download URL: biz_dfch_specmgr-0.16.0-py3-none-any.whl
- Upload date:
- Size: 961.3 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? Yes
- Uploaded via:
twine/6.1.0 CPython/3.13.14
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
82771bd058d52ffabaa17a6041a7d90f59e1aa59db8acaf1411afbb0b0239164
|
|
| MD5 |
3043dee0c1f2f27cf96619d5266fa356
|
|
| BLAKE2b-256 |
feda534cadfeaf3eee18ce07756ca6e86423bd4122cbebc1f01c6bb1e2187ebe
|
Provenance
The following attestation bundles were made for biz_dfch_specmgr-0.16.0-py3-none-any.whl:
Publisher:
publish.yml on dfch/biz.dfch.SpecMgr
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
biz_dfch_specmgr-0.16.0-py3-none-any.whl -
Subject digest:
82771bd058d52ffabaa17a6041a7d90f59e1aa59db8acaf1411afbb0b0239164 - Sigstore transparency entry: 2673250502
- Sigstore integration time:
-
Permalink:
dfch/biz.dfch.SpecMgr@6ed4687a81db5a6114d4348cc1f3544d9755c5b2 -
Branch / Tag:
refs/tags/v0.16.0 - Owner: https://github.com/dfch
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
publish.yml@6ed4687a81db5a6114d4348cc1f3544d9755c5b2 -
Trigger Event:
push
-
Statement type: