okstra 0.220.1 → 0.222.0

package/runtime/python/okstra_ctl/adapters/providers/antigravity/adapter.py

@@ -1,6 +1,7 @@
 """Bundled Antigravity provider catalog."""
 from typing import Any, Mapping
 
+from okstra_ctl.domain.mcp import McpInventory, McpInventoryProbe, VisibleMcpServer
 from okstra_ctl.domain.provider import (
     LeadLaunchSpec,
     ModelSpec,
@@ -294,6 +295,31 @@ class AntigravityExecution:
         )
 
 
+_AGY_TABLE_HEADER = ("NAME", "TYPE", "STATUS", "COMMAND/URL")
+_AGY_STATES = {"enabled": "enabled", "disabled": "disabled"}
+
+
+def parse_mcp_list(stdout: str) -> McpInventory:
+    """JSON 출력이 없어 실측한 두 형태만 읽는다(agy 1.4.2): 빈 목록 메시지와
+    `NAME TYPE STATUS COMMAND/URL` 표. 그 밖의 출력은 판정 불가로 돌린다."""
+    if stdout.strip() == "No MCP servers configured.":
+        return McpInventory(listed=True)
+    lines = [line for line in stdout.splitlines() if line.strip()]
+    if not lines or tuple(lines[0].split()) != _AGY_TABLE_HEADER:
+        return McpInventory.unavailable("agy mcp list output format is not recognised")
+    servers = []
+    for line in lines[1:]:
+        cells = line.split()
+        state = _AGY_STATES.get(cells[2]) if len(cells) >= 4 else None
+        if state is None:
+            return McpInventory.unavailable(f"agy mcp list row is not recognised: {line.strip()}")
+        servers.append(VisibleMcpServer(cells[0], state))
+    return McpInventory(listed=True, servers=tuple(servers))
+
+
+MCP_INVENTORY = McpInventoryProbe(argv=("agy", "mcp", "list"), parse=parse_mcp_list)
+
+
 def create_provider() -> ProviderSpec:
     return ProviderSpec(
         provider="antigravity",
@@ -321,6 +347,7 @@ def create_provider() -> ProviderSpec:
             executable="agy", model_flag="--model", prompt_flag="--prompt-interactive"
         ),
         exec_strategy=AntigravityExecution(),
+        mcp_inventory=MCP_INVENTORY,
         execution_normalizer=AntigravityExecutionNormalizer(),
         served_model_normalizer=normalise_served_model,
     )

package/runtime/python/okstra_ctl/adapters/providers/claude/adapter.py

@@ -1,5 +1,6 @@
 """Bundled Claude provider catalog."""
 from typing import Any, Mapping
+from okstra_ctl.domain.mcp import McpInventory, McpInventoryProbe, VisibleMcpServer
 from okstra_ctl.domain.provider import (
     LeadLaunchSpec,
     ModelSpec,
@@ -154,6 +155,28 @@ class ClaudeExecution:
         )
 
 
+def parse_mcp_list(stdout: str) -> McpInventory:
+    """행 모양은 `<name>: <target> - <status>` 다. 이름 자체에 콜론이 들어가므로
+    (`plugin:design:slack`) 첫 `": "` 에서 자르고 상태는 마지막 `" - "` 뒤를 읽는다."""
+    servers: list[VisibleMcpServer] = []
+    for line in stdout.splitlines():
+        head, sep, rest = line.partition(": ")
+        if not sep or " - " not in rest:
+            continue
+        status = rest.rpartition(" - ")[2]
+        if "Connected" in status and not status.startswith("✗"):
+            state = "enabled"
+        elif "Needs authentication" in status:
+            state = "needs-auth"
+        else:
+            state = "disabled"
+        servers.append(VisibleMcpServer(head.strip(), state))
+    return McpInventory(listed=True, servers=tuple(servers))
+
+
+MCP_INVENTORY = McpInventoryProbe(argv=("claude", "mcp", "list"), parse=parse_mcp_list)
+
+
 def create_provider() -> ProviderSpec:
     return ProviderSpec(
         provider="claude",
@@ -188,4 +211,5 @@ def create_provider() -> ProviderSpec:
         ),
         exec_strategy=ClaudeExecution(),
         served_model_normalizer=normalise_served_model,
+        mcp_inventory=MCP_INVENTORY,
     )

package/runtime/python/okstra_ctl/adapters/providers/codex/adapter.py

@@ -1,4 +1,7 @@
 """Bundled Codex provider catalog."""
+import json
+
+from okstra_ctl.domain.mcp import McpInventory, McpInventoryProbe, VisibleMcpServer
 from okstra_ctl.domain.provider import (
     LeadLaunchSpec,
     ModelSpec,
@@ -126,6 +129,26 @@ class CodexExecution:
         )
 
 
+def parse_mcp_list(stdout: str) -> McpInventory:
+    try:
+        rows = json.loads(stdout)
+    except json.JSONDecodeError as exc:
+        return McpInventory.unavailable(f"codex mcp list --json is not JSON ({exc})")
+    if not isinstance(rows, list):
+        return McpInventory.unavailable("codex mcp list --json is not a list")
+    servers = tuple(
+        VisibleMcpServer(row["name"], "enabled" if row.get("enabled") else "disabled")
+        for row in rows
+        if isinstance(row, dict) and isinstance(row.get("name"), str)
+    )
+    return McpInventory(listed=True, servers=servers)
+
+
+MCP_INVENTORY = McpInventoryProbe(
+    argv=("codex", "mcp", "list", "--json"), parse=parse_mcp_list,
+)
+
+
 def create_provider() -> ProviderSpec:
     return ProviderSpec(
         provider="codex",
@@ -159,4 +182,5 @@ def create_provider() -> ProviderSpec:
         exec_strategy=CodexExecution(),
         execution_normalizer=CodexExecutionNormalizer(),
         served_model_normalizer=normalise_served_model,
+        mcp_inventory=MCP_INVENTORY,
     )

package/runtime/python/okstra_ctl/adapters/providers/grok/adapter.py

@@ -4,6 +4,7 @@ from pathlib import Path
 from typing import Any, Mapping
 from urllib.parse import quote
 
+from okstra_ctl.domain.mcp import McpInventory, McpInventoryProbe, VisibleMcpServer
 from okstra_ctl.domain.provider import (
     LeadLaunchSpec,
     ModelSpec,
@@ -292,6 +293,29 @@ class GrokExecution:
         )
 
 
+def parse_mcp_list(stdout: str) -> McpInventory:
+    """실측은 빈 목록뿐이었다(grok 1.0.46). 행 형식을 모르므로 `name` 이 없는
+    행은 빈 목록이 아니라 판정 불가로 돌린다."""
+    try:
+        rows = json.loads(stdout)
+    except json.JSONDecodeError as exc:
+        return McpInventory.unavailable(f"grok mcp list --json is not JSON ({exc})")
+    if not isinstance(rows, list):
+        return McpInventory.unavailable("grok mcp list --json is not a list")
+    servers: list[VisibleMcpServer] = []
+    for row in rows:
+        if not isinstance(row, dict) or not isinstance(row.get("name"), str):
+            return McpInventory.unavailable("grok mcp list --json row has no name field")
+        enabled = row.get("enabled", True) is not False
+        servers.append(VisibleMcpServer(row["name"], "enabled" if enabled else "disabled"))
+    return McpInventory(listed=True, servers=tuple(servers))
+
+
+MCP_INVENTORY = McpInventoryProbe(
+    argv=("grok", "mcp", "list", "--json"), parse=parse_mcp_list,
+)
+
+
 def create_provider() -> ProviderSpec:
     return ProviderSpec(
         provider="grok",
@@ -324,4 +348,5 @@ def create_provider() -> ProviderSpec:
         lead_launch=GROK_LEAD_LAUNCH,
         exec_strategy=GrokExecution(),
         served_model_normalizer=normalise_served_model,
+        mcp_inventory=MCP_INVENTORY,
     )

package/runtime/python/okstra_ctl/adapters/providers/zai/adapter.py

@@ -7,7 +7,11 @@ from dataclasses import replace
 from pathlib import Path
 from typing import Any
 
-from okstra_ctl.adapters.providers.claude.adapter import ClaudeExecution
+from okstra_ctl.adapters.providers.claude.adapter import (
+    ClaudeExecution,
+    parse_mcp_list as _claude_mcp_list,
+)
+from okstra_ctl.domain.mcp import McpInventory, McpInventoryProbe
 from okstra_ctl.domain.provider import ModelSpec, ProviderSpec, ServedModelAttestation
 from okstra_ctl.domain.role import ROLE_DEFINITIONS
 from okstra_ctl.domain.worker_exec import ExecCommand, PolicySupport, WorkerExecRequest
@@ -111,6 +115,20 @@ class ZaiExecution:
         return ClaudeExecution().policy_support()
 
 
+def parse_mcp_list(stdout: str) -> McpInventory:
+    """워커는 `--setting-sources ""` 로 떠서 사용자 범위 서버는 빠지고 claude.ai
+    커넥터만 남는다(2026-10-18, claude 2.1.302 실측)."""
+    listed = _claude_mcp_list(stdout)
+    return McpInventory(
+        listed=True,
+        servers=tuple(s for s in listed.servers if s.name.startswith("claude.ai ")),
+        note="calls through the z.ai backend are not verified",
+    )
+
+
+MCP_INVENTORY = McpInventoryProbe(argv=("claude", "mcp", "list"), parse=parse_mcp_list)
+
+
 def create_provider() -> ProviderSpec:
     roles = frozenset(role.id for role in ROLE_DEFINITIONS if role.id != "leader")
     return ProviderSpec(
@@ -126,4 +144,5 @@ def create_provider() -> ProviderSpec:
         }),
         exec_strategy=ZaiExecution(),
         served_model_normalizer=normalise_served_model,
+        mcp_inventory=MCP_INVENTORY,
     )

package/runtime/python/okstra_ctl/agent/prompt_cli/materialize.py

@@ -340,6 +340,9 @@ def _materialize_run(
             ),
         )
     if args.audience == "report-writer" and uses_report_contract_v3(manifest):
+        # 조립이 `meta.reportLanguage` 로 옮기는 값과 같은 출처여야 한다.
+        report_language = str(manifest.get("reportLanguage") or "en")
+        anchor_lines = anchor_lines + (f"**Report Language:** {report_language}",)
         body = _with_report_writer_sections(
             args,
             project_root,

package/runtime/python/okstra_ctl/analysis_packet.py

@@ -65,6 +65,7 @@ WORKER_PROFILE_SECTIONS_BY_TASK_TYPE = {
         "Worker direction-selection procedure",
         "Pre-selection context exploration",
         "Option evaluation rules",
+        "Technical evidence loop",
     ),
     "implementation-planning": (
         "Brief consumption",
@@ -114,6 +115,8 @@ def build_analysis_packet(
     business_knowledge_text: str = "",
     coverage_census_text: str = "",
     has_selected_direction: bool = False,
+    mcp_servers_text: str = "",
+    technical_evidence_text: str = "",
 ) -> str:
     """Return the primary compact input for Claude/Codex/Antigravity analysers.
 
@@ -130,6 +133,12 @@ def build_analysis_packet(
 
     `coverage_census_text` is the `## Coverage Census` block
     `coverage_census.render_census_section` rendered; empty means no census.
+
+    `mcp_servers_text` 는 prepare 가 provider 별 도달성까지 렌더한 선언 서버
+    목록이다. 빈 문자열이면 선언이 없는 것이고 절을 싣지 않는다.
+
+    `technical_evidence_text` 는 carry-in 이 technical-verification 결과일 때
+    `technical_evidence_packet_block` 이 렌더한 증거 위치 절이다.
     """
     brief_text = task_brief_path.read_text(encoding="utf-8")
     group_context_text = _read_optional(group_context_path) if group_context_path else ""
@@ -150,6 +159,9 @@ def build_analysis_packet(
             has_selected_direction,
         )
     )
+    # 짧은 포인터 절이라 46KB 에서 잘리는 읽기에서도 도착하도록 브리프보다 앞에 둔다.
+    if technical_evidence_text:
+        parts.extend(["", technical_evidence_text])
     # 그룹 문서는 사람 절과 okstra 메모리 영역으로 갈라 싣는다. 사람 절("왜")은
     # 브리프 발췌보다 앞 — 짧고, 46KB 에서 잘리는 읽기(agy view_file)에서도
     # 도착해야 한다. 형제 task 의 결론은 브리프 뒤 — 브리프를 밀어내면 안 된다.
@@ -158,6 +170,8 @@ def build_analysis_packet(
     )
     parts.extend(_group_context_block(group_human))
     parts.extend(_brief_block(brief_text))
+    if mcp_servers_text:
+        parts.extend(["", "## Available MCP Servers", "", mcp_servers_text])
     if direct_work_text:
         parts.extend(["", direct_work_text, ""])
     parts.extend(_group_memory_block(

package/runtime/python/okstra_ctl/business_flow/engine.py

@@ -388,6 +388,7 @@ def _instructions(
             "In relationships, from and to must each be a projectId listed under projects in the Source Material; put modules, files and planned work in data, not in from/to.",
             "Cite evidence only from files Git tracks or would add in a candidate root. Git-ignored files (for example .project-docs/) are outside the captured source inventory and are rejected; name what you learned from them in gaps instead.",
             "Explain the product business from start to finish for a new developer: purpose, rules, input/output, states, failure, retry and recovery. Link each step and relationship to factKeys.",
+            "factKeys in steps and relationships may name only facts returned in this response. Stored knowledge claims are not accepted by key; to link one, re-read its source and return it as a fact with evidence.",
             "Use stable keys in business/subject/attribute form. Facts are source-backed assertions; expected changes remain expected. Cite inspected evidence with one-based line/endLine; each excerpt must copy the whole line..endLine range verbatim, including indentation, with no elision or omitted lines. Tests are static evidence unless a supplied existing verification record supports the execution claim.",
             "For post mode, use the supplied project-specific baseline. Never invent missing before-state. Describe the actual delta and distinguish confirmed side effects from risks.",
             "For contribute mode, extract newly observed business facts from the supplied validated task record and inspect source to confirm them. Empty facts are valid. Do not copy the report narrative as established truth.",