@mandujs/mcp 0.38.12 → 0.39.0-beta.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (183) hide show
  1. package/README.md +3 -3
  2. package/package.json +3 -5
  3. package/src/activity-adapter.ts +23 -23
  4. package/src/activity-monitor.ts +39 -10
  5. package/src/adapters/index.ts +20 -20
  6. package/src/adapters/monitor-adapter.ts +100 -100
  7. package/src/adapters/tool-adapter.ts +90 -90
  8. package/src/executor/index.ts +22 -22
  9. package/src/executor/tool-executor.ts +148 -148
  10. package/src/hooks/config-watcher.ts +173 -173
  11. package/src/hooks/index.ts +23 -23
  12. package/src/hooks/mcp-hooks.ts +227 -227
  13. package/src/index.ts +5 -5
  14. package/src/logging/index.ts +15 -15
  15. package/src/logging/mcp-transport.ts +134 -134
  16. package/src/new-resources.ts +2 -2
  17. package/src/profiles.ts +25 -54
  18. package/src/prompts.ts +4 -4
  19. package/src/registry/index.ts +13 -13
  20. package/src/registry/mcp-tool-registry.ts +298 -298
  21. package/src/resources/generated-skills/catalog.ts +36 -0
  22. package/src/resources/generated-skills/mandu-agent-workflow/SKILL.md +48 -0
  23. package/src/resources/generated-skills/mandu-contract/SKILL.md +20 -0
  24. package/src/resources/generated-skills/mandu-fs-routes/SKILL.md +19 -0
  25. package/src/resources/generated-skills/mandu-guard/SKILL.md +20 -0
  26. package/src/resources/generated-skills/mandu-hydration/SKILL.md +19 -0
  27. package/src/resources/generated-skills/mandu-testing/SKILL.md +20 -0
  28. package/src/resources/handlers.ts +3 -3
  29. package/src/resources/skills/guides.ts +49 -49
  30. package/src/resources/skills/index.ts +12 -12
  31. package/src/resources/skills/loader.ts +8 -35
  32. package/src/resources/skills/recipes.ts +28 -28
  33. package/src/server.ts +1 -1
  34. package/src/tools/agent.ts +479 -409
  35. package/src/tools/ate-exemplar.ts +92 -92
  36. package/src/tools/ate-flakes.ts +90 -90
  37. package/src/tools/ate-mutate.ts +103 -103
  38. package/src/tools/ate-mutation-report.ts +64 -64
  39. package/src/tools/ate-oracle-pending.ts +49 -49
  40. package/src/tools/ate-oracle-replay.ts +44 -44
  41. package/src/tools/ate-oracle-verdict.ts +70 -70
  42. package/src/tools/ate-prompt.ts +146 -146
  43. package/src/tools/ate-run.ts +1 -1
  44. package/src/tools/ate.ts +38 -38
  45. package/src/tools/brain.ts +6 -6
  46. package/src/tools/composite.ts +19 -61
  47. package/src/tools/contract.ts +11 -9
  48. package/src/tools/deploy-plan.ts +2 -2
  49. package/src/tools/deploy-preview.ts +316 -316
  50. package/src/tools/design.ts +825 -825
  51. package/src/tools/docs.ts +350 -350
  52. package/src/tools/generate.ts +4 -3
  53. package/src/tools/guard.ts +1 -1
  54. package/src/tools/history.ts +1 -1
  55. package/src/tools/hydration.ts +64 -64
  56. package/src/tools/index.ts +0 -118
  57. package/src/tools/kitchen.ts +72 -72
  58. package/src/tools/lint.ts +226 -226
  59. package/src/tools/loop-close.ts +175 -175
  60. package/src/tools/negotiate.ts +263 -263
  61. package/src/tools/resource.ts +1 -1
  62. package/src/tools/run-tests.ts +424 -424
  63. package/src/tools/runtime.ts +1 -1
  64. package/src/tools/seo.ts +1 -1
  65. package/src/tools/slot-validation.ts +19 -19
  66. package/src/tools/spec.ts +201 -201
  67. package/src/tools/transaction.ts +1 -1
  68. package/src/tx-lock.ts +73 -73
  69. package/src/utils/runtime-control.ts +52 -52
  70. package/src/utils/withWarnings.ts +1 -1
  71. package/src/resources/skills/mandu-agent-workflow/SKILL.md +0 -124
  72. package/src/resources/skills/mandu-agent-workflow/metadata.json +0 -7
  73. package/src/resources/skills/mandu-composition/SKILL.md +0 -131
  74. package/src/resources/skills/mandu-composition/metadata.json +0 -13
  75. package/src/resources/skills/mandu-composition/rules/_sections.md +0 -26
  76. package/src/resources/skills/mandu-composition/rules/_template.md +0 -77
  77. package/src/resources/skills/mandu-composition/rules/comp-arch-avoid-boolean-props.md +0 -146
  78. package/src/resources/skills/mandu-composition/rules/comp-arch-compound-components.md +0 -164
  79. package/src/resources/skills/mandu-composition/rules/comp-island-event.md +0 -161
  80. package/src/resources/skills/mandu-composition/rules/comp-island-slot-split.md +0 -167
  81. package/src/resources/skills/mandu-composition/rules/comp-pattern-children.md +0 -149
  82. package/src/resources/skills/mandu-composition/rules/comp-state-context-interface.md +0 -148
  83. package/src/resources/skills/mandu-composition/rules/comp-state-lift-state.md +0 -150
  84. package/src/resources/skills/mandu-deployment/SKILL.md +0 -135
  85. package/src/resources/skills/mandu-deployment/_sections.md +0 -41
  86. package/src/resources/skills/mandu-deployment/_template.md +0 -38
  87. package/src/resources/skills/mandu-deployment/metadata.json +0 -13
  88. package/src/resources/skills/mandu-deployment/rules/db-provider-supabase.md +0 -300
  89. package/src/resources/skills/mandu-deployment/rules/deploy-build-bun.md +0 -109
  90. package/src/resources/skills/mandu-deployment/rules/deploy-build-output.md +0 -115
  91. package/src/resources/skills/mandu-deployment/rules/deploy-cicd-github.md +0 -219
  92. package/src/resources/skills/mandu-deployment/rules/deploy-docker-bun.md +0 -150
  93. package/src/resources/skills/mandu-deployment/rules/deploy-docker-compose.md +0 -223
  94. package/src/resources/skills/mandu-deployment/rules/deploy-platform-fly.md +0 -152
  95. package/src/resources/skills/mandu-deployment/rules/deploy-platform-render.md +0 -179
  96. package/src/resources/skills/mandu-deployment/rules/deploy-platform-vercel.md +0 -140
  97. package/src/resources/skills/mandu-fs-routes/SKILL.md +0 -122
  98. package/src/resources/skills/mandu-fs-routes/metadata.json +0 -12
  99. package/src/resources/skills/mandu-fs-routes/rules/_sections.md +0 -36
  100. package/src/resources/skills/mandu-fs-routes/rules/_template.md +0 -69
  101. package/src/resources/skills/mandu-fs-routes/rules/routes-api-methods.md +0 -65
  102. package/src/resources/skills/mandu-fs-routes/rules/routes-dynamic-param.md +0 -93
  103. package/src/resources/skills/mandu-fs-routes/rules/routes-naming-page.md +0 -55
  104. package/src/resources/skills/mandu-guard/SKILL.md +0 -162
  105. package/src/resources/skills/mandu-guard/metadata.json +0 -12
  106. package/src/resources/skills/mandu-guard/rules/_sections.md +0 -36
  107. package/src/resources/skills/mandu-guard/rules/_template.md +0 -82
  108. package/src/resources/skills/mandu-guard/rules/guard-config-rules.md +0 -100
  109. package/src/resources/skills/mandu-guard/rules/guard-layer-direction.md +0 -76
  110. package/src/resources/skills/mandu-guard/rules/guard-preset-mandu.md +0 -81
  111. package/src/resources/skills/mandu-guard/rules/guard-validate-import.md +0 -80
  112. package/src/resources/skills/mandu-hydration/SKILL.md +0 -139
  113. package/src/resources/skills/mandu-hydration/metadata.json +0 -12
  114. package/src/resources/skills/mandu-hydration/rules/_sections.md +0 -31
  115. package/src/resources/skills/mandu-hydration/rules/_template.md +0 -72
  116. package/src/resources/skills/mandu-hydration/rules/hydration-data-event.md +0 -109
  117. package/src/resources/skills/mandu-hydration/rules/hydration-directive-use-client.md +0 -55
  118. package/src/resources/skills/mandu-hydration/rules/hydration-island-setup.md +0 -160
  119. package/src/resources/skills/mandu-hydration/rules/hydration-priority-visible.md +0 -91
  120. package/src/resources/skills/mandu-performance/SKILL.md +0 -125
  121. package/src/resources/skills/mandu-performance/metadata.json +0 -14
  122. package/src/resources/skills/mandu-performance/rules/_sections.md +0 -31
  123. package/src/resources/skills/mandu-performance/rules/_template.md +0 -64
  124. package/src/resources/skills/mandu-performance/rules/perf-async-defer-await.md +0 -103
  125. package/src/resources/skills/mandu-performance/rules/perf-async-parallel.md +0 -95
  126. package/src/resources/skills/mandu-performance/rules/perf-bun-file.md +0 -124
  127. package/src/resources/skills/mandu-performance/rules/perf-bun-serve.md +0 -125
  128. package/src/resources/skills/mandu-performance/rules/perf-bundle-imports.md +0 -80
  129. package/src/resources/skills/mandu-performance/rules/perf-bundle-island-lazy.md +0 -145
  130. package/src/resources/skills/mandu-performance/rules/perf-cache-react.md +0 -98
  131. package/src/resources/skills/mandu-performance/rules/perf-render-transitions.md +0 -154
  132. package/src/resources/skills/mandu-security/SKILL.md +0 -127
  133. package/src/resources/skills/mandu-security/metadata.json +0 -13
  134. package/src/resources/skills/mandu-security/rules/_sections.md +0 -31
  135. package/src/resources/skills/mandu-security/rules/_template.md +0 -74
  136. package/src/resources/skills/mandu-security/rules/sec-auth-guard.md +0 -127
  137. package/src/resources/skills/mandu-security/rules/sec-env-management.md +0 -133
  138. package/src/resources/skills/mandu-security/rules/sec-input-validate.md +0 -148
  139. package/src/resources/skills/mandu-security/rules/sec-protect-csrf.md +0 -146
  140. package/src/resources/skills/mandu-security/rules/sec-protect-headers.md +0 -138
  141. package/src/resources/skills/mandu-slot/SKILL.md +0 -125
  142. package/src/resources/skills/mandu-slot/metadata.json +0 -12
  143. package/src/resources/skills/mandu-slot/rules/_sections.md +0 -36
  144. package/src/resources/skills/mandu-slot/rules/_template.md +0 -63
  145. package/src/resources/skills/mandu-slot/rules/slot-basic-structure.md +0 -38
  146. package/src/resources/skills/mandu-slot/rules/slot-ctx-response.md +0 -56
  147. package/src/resources/skills/mandu-slot/rules/slot-guard-auth.md +0 -59
  148. package/src/resources/skills/mandu-slot/rules/slot-http-methods.md +0 -64
  149. package/src/resources/skills/mandu-styling/SKILL.md +0 -196
  150. package/src/resources/skills/mandu-styling/_sections.md +0 -43
  151. package/src/resources/skills/mandu-styling/_template.md +0 -32
  152. package/src/resources/skills/mandu-styling/metadata.json +0 -15
  153. package/src/resources/skills/mandu-styling/rules/style-component-compound.md +0 -235
  154. package/src/resources/skills/mandu-styling/rules/style-component-slots.md +0 -255
  155. package/src/resources/skills/mandu-styling/rules/style-component-tokens.md +0 -205
  156. package/src/resources/skills/mandu-styling/rules/style-island-animations.md +0 -272
  157. package/src/resources/skills/mandu-styling/rules/style-island-scoping.md +0 -167
  158. package/src/resources/skills/mandu-styling/rules/style-island-variants.md +0 -221
  159. package/src/resources/skills/mandu-styling/rules/style-perf-critical.md +0 -209
  160. package/src/resources/skills/mandu-styling/rules/style-perf-purge.md +0 -192
  161. package/src/resources/skills/mandu-styling/rules/style-setup-modules.md +0 -162
  162. package/src/resources/skills/mandu-styling/rules/style-setup-panda.md +0 -164
  163. package/src/resources/skills/mandu-styling/rules/style-setup-tailwind.md +0 -170
  164. package/src/resources/skills/mandu-styling/rules/style-tailwind-v4-gotchas.md +0 -179
  165. package/src/resources/skills/mandu-styling/rules/style-theme-darkmode.md +0 -229
  166. package/src/resources/skills/mandu-testing/SKILL.md +0 -132
  167. package/src/resources/skills/mandu-testing/metadata.json +0 -13
  168. package/src/resources/skills/mandu-testing/rules/_sections.md +0 -26
  169. package/src/resources/skills/mandu-testing/rules/_template.md +0 -65
  170. package/src/resources/skills/mandu-testing/rules/test-component-island.md +0 -195
  171. package/src/resources/skills/mandu-testing/rules/test-e2e-playwright.md +0 -196
  172. package/src/resources/skills/mandu-testing/rules/test-mock-fetch.md +0 -219
  173. package/src/resources/skills/mandu-testing/rules/test-slot-unit.md +0 -192
  174. package/src/resources/skills/mandu-ui/SKILL.md +0 -159
  175. package/src/resources/skills/mandu-ui/_sections.md +0 -23
  176. package/src/resources/skills/mandu-ui/_template.md +0 -32
  177. package/src/resources/skills/mandu-ui/metadata.json +0 -13
  178. package/src/resources/skills/mandu-ui/rules/ui-accessibility-aria.md +0 -232
  179. package/src/resources/skills/mandu-ui/rules/ui-accessibility-focus.md +0 -238
  180. package/src/resources/skills/mandu-ui/rules/ui-composition-patterns.md +0 -259
  181. package/src/resources/skills/mandu-ui/rules/ui-island-integration.md +0 -258
  182. package/src/resources/skills/mandu-ui/rules/ui-radix-patterns.md +0 -213
  183. package/src/resources/skills/mandu-ui/rules/ui-shadcn-setup.md +0 -209
@@ -1,92 +1,92 @@
1
- /**
2
- * `mandu_ate_exemplar` — Phase A.3 exemplar browser.
3
- *
4
- * See `docs/ate/roadmap-v2-agent-native.md` §4.3. Returns the
5
- * `@ate-exemplar:` tagged tests for a given kind so an agent can
6
- * few-shot against them without paying the "compose the whole prompt"
7
- * token cost.
8
- *
9
- * Snake_case tool name (§11 decision #4). Read-only.
10
- */
11
-
12
- import type { Tool } from "@modelcontextprotocol/sdk/types.js";
13
- import { scanExemplars, type Exemplar } from "@mandujs/ate";
14
-
15
- export const ateExemplarToolDefinitions: Tool[] = [
16
- {
17
- name: "mandu_ate_exemplar",
18
- annotations: {
19
- readOnlyHint: true,
20
- },
21
- description:
22
- "Phase A.3 agent-native exemplar browser. Returns up to `limit` tests " +
23
- "tagged with `@ate-exemplar: kind=<kind>` from the repo. Each entry " +
24
- "carries the file path, start/end line, tags, and the full source of the " +
25
- "test() / it() / describe() call that follows the tag. Set " +
26
- "includeAnti:true to also surface `@ate-exemplar-anti:` (DO-NOT-do-this) " +
27
- "cases. Exemplars are manually curated (roadmap §11 decision 2) — no " +
28
- "auto-heuristic. Use this when you want few-shot examples without paying " +
29
- "for the full composed prompt.",
30
- inputSchema: {
31
- type: "object",
32
- properties: {
33
- repoRoot: {
34
- type: "string",
35
- description: "Absolute path to the Mandu project root.",
36
- },
37
- kind: {
38
- type: "string",
39
- description:
40
- "Match against the tag's `kind=` attribute. Examples: filling_unit, filling_integration, e2e_playwright.",
41
- },
42
- limit: {
43
- type: "number",
44
- description: "Max entries to return. Default 5.",
45
- },
46
- includeAnti: {
47
- type: "boolean",
48
- description:
49
- "Also include @ate-exemplar-anti markers (default false — only positive exemplars).",
50
- },
51
- },
52
- required: ["repoRoot", "kind"],
53
- },
54
- },
55
- ];
56
-
57
- export function ateExemplarTools(_projectRoot: string) {
58
- return {
59
- mandu_ate_exemplar: async (args: Record<string, unknown>) => {
60
- const repoRoot = args.repoRoot as string | undefined;
61
- const kind = args.kind as string | undefined;
62
- const limit = typeof args.limit === "number" ? args.limit : 5;
63
- const includeAnti = args.includeAnti === true;
64
-
65
- if (!repoRoot || typeof repoRoot !== "string") {
66
- return { ok: false, error: "'repoRoot' is required" };
67
- }
68
- if (!kind || typeof kind !== "string") {
69
- return { ok: false, error: "'kind' is required" };
70
- }
71
-
72
- try {
73
- const all = await scanExemplars(repoRoot);
74
- const filtered = all.filter((e) => e.kind === kind);
75
- const selected: Exemplar[] = [];
76
- const positives = filtered.filter((e) => !e.anti).slice(0, limit);
77
- selected.push(...positives);
78
- if (includeAnti) {
79
- // Reserve up to half the limit for antis so positives aren't crowded out.
80
- const antiBudget = Math.max(1, Math.floor(limit / 2));
81
- const antis = filtered.filter((e) => e.anti).slice(0, antiBudget);
82
- selected.push(...antis);
83
- }
84
-
85
- return { ok: true, exemplars: selected, total: filtered.length };
86
- } catch (err) {
87
- const msg = err instanceof Error ? err.message : String(err);
88
- return { ok: false, error: msg };
89
- }
90
- },
91
- };
92
- }
1
+ /**
2
+ * `mandu_ate_exemplar` — Phase A.3 exemplar browser.
3
+ *
4
+ * See `docs/ate/roadmap-v2-agent-native.md` §4.3. Returns the
5
+ * `@ate-exemplar:` tagged tests for a given kind so an agent can
6
+ * few-shot against them without paying the "compose the whole prompt"
7
+ * token cost.
8
+ *
9
+ * Snake_case tool name (§11 decision #4). Read-only.
10
+ */
11
+
12
+ import type { Tool } from "@modelcontextprotocol/sdk/types.js";
13
+ import { scanExemplars, type Exemplar } from "@mandujs/ate";
14
+
15
+ export const ateExemplarToolDefinitions: Tool[] = [
16
+ {
17
+ name: "mandu_ate_exemplar",
18
+ annotations: {
19
+ readOnlyHint: true,
20
+ },
21
+ description:
22
+ "Phase A.3 agent-native exemplar browser. Returns up to `limit` tests " +
23
+ "tagged with `@ate-exemplar: kind=<kind>` from the repo. Each entry " +
24
+ "carries the file path, start/end line, tags, and the full source of the " +
25
+ "test() / it() / describe() call that follows the tag. Set " +
26
+ "includeAnti:true to also surface `@ate-exemplar-anti:` (DO-NOT-do-this) " +
27
+ "cases. Exemplars are manually curated (roadmap §11 decision 2) — no " +
28
+ "auto-heuristic. Use this when you want few-shot examples without paying " +
29
+ "for the full composed prompt.",
30
+ inputSchema: {
31
+ type: "object",
32
+ properties: {
33
+ repoRoot: {
34
+ type: "string",
35
+ description: "Absolute path to the Mandu project root.",
36
+ },
37
+ kind: {
38
+ type: "string",
39
+ description:
40
+ "Match against the tag's `kind=` attribute. Examples: filling_unit, filling_integration, e2e_playwright.",
41
+ },
42
+ limit: {
43
+ type: "number",
44
+ description: "Max entries to return. Default 5.",
45
+ },
46
+ includeAnti: {
47
+ type: "boolean",
48
+ description:
49
+ "Also include @ate-exemplar-anti markers (default false — only positive exemplars).",
50
+ },
51
+ },
52
+ required: ["repoRoot", "kind"],
53
+ },
54
+ },
55
+ ];
56
+
57
+ export function ateExemplarTools(_projectRoot: string) {
58
+ return {
59
+ mandu_ate_exemplar: async (args: Record<string, unknown>) => {
60
+ const repoRoot = args.repoRoot as string | undefined;
61
+ const kind = args.kind as string | undefined;
62
+ const limit = typeof args.limit === "number" ? args.limit : 5;
63
+ const includeAnti = args.includeAnti === true;
64
+
65
+ if (!repoRoot || typeof repoRoot !== "string") {
66
+ return { ok: false, error: "'repoRoot' is required" };
67
+ }
68
+ if (!kind || typeof kind !== "string") {
69
+ return { ok: false, error: "'kind' is required" };
70
+ }
71
+
72
+ try {
73
+ const all = await scanExemplars(repoRoot);
74
+ const filtered = all.filter((e) => e.kind === kind);
75
+ const selected: Exemplar[] = [];
76
+ const positives = filtered.filter((e) => !e.anti).slice(0, limit);
77
+ selected.push(...positives);
78
+ if (includeAnti) {
79
+ // Reserve up to half the limit for antis so positives aren't crowded out.
80
+ const antiBudget = Math.max(1, Math.floor(limit / 2));
81
+ const antis = filtered.filter((e) => e.anti).slice(0, antiBudget);
82
+ selected.push(...antis);
83
+ }
84
+
85
+ return { ok: true, exemplars: selected, total: filtered.length };
86
+ } catch (err) {
87
+ const msg = err instanceof Error ? err.message : String(err);
88
+ return { ok: false, error: msg };
89
+ }
90
+ },
91
+ };
92
+ }
@@ -1,90 +1,90 @@
1
- /**
2
- * `mandu_ate_flakes` — Phase A.2 flake detector surface.
3
- *
4
- * Returns every spec whose rolling pass/fail transition ratio exceeds
5
- * `minScore` (default 0.1) within the last `windowSize` runs
6
- * (default 20). Agents use this to prioritize stabilization work.
7
- *
8
- * Data source: `.mandu/ate-run-history.jsonl`, appended to by
9
- * `runSpec`. When no history is present we return an empty array —
10
- * not an error.
11
- *
12
- * Snake_case naming per §11 decision 4.
13
- */
14
- import type { Tool } from "@modelcontextprotocol/sdk/types.js";
15
- import { summarizeFlakes } from "@mandujs/ate";
16
-
17
- export const ateFlakesToolDefinitions: Tool[] = [
18
- {
19
- name: "mandu_ate_flakes",
20
- annotations: {
21
- readOnlyHint: true,
22
- },
23
- description:
24
- "Phase A.2 flake detector. Reads `.mandu/ate-run-history.jsonl` and returns specs " +
25
- "whose pass/fail status flips often within the rolling window. `flakeScore` = " +
26
- "status_transitions / (N - 1) over last `windowSize` non-skipped runs. " +
27
- "Pure-pass PPPPP = 0.0 (stable), pure-fail FFFFF = 0.0 (broken, NOT flaky), " +
28
- "alternating PFPF = 1.0. Returns an empty list when history is empty or no spec " +
29
- "clears `minScore`. Use this to prioritize which flaky tests to fix first — feed " +
30
- "a specPath from the result into mandu_ate_run for a re-run + full failure.v1 " +
31
- "diagnostic.",
32
- inputSchema: {
33
- type: "object",
34
- properties: {
35
- repoRoot: {
36
- type: "string",
37
- description: "Absolute path to the Mandu project root",
38
- },
39
- windowSize: {
40
- type: "number",
41
- minimum: 2,
42
- description: "Rolling window size. Default: 20.",
43
- },
44
- minScore: {
45
- type: "number",
46
- minimum: 0,
47
- maximum: 1,
48
- description: "Filter threshold for flakeScore. Default: 0.1.",
49
- },
50
- },
51
- required: ["repoRoot"],
52
- },
53
- },
54
- ];
55
-
56
- export function ateFlakesTools(_projectRoot: string) {
57
- return {
58
- mandu_ate_flakes: async (args: Record<string, unknown>) => {
59
- const { repoRoot, windowSize, minScore } = args as {
60
- repoRoot: string;
61
- windowSize?: number;
62
- minScore?: number;
63
- };
64
- if (!repoRoot || typeof repoRoot !== "string") {
65
- return { ok: false, error: "repoRoot is required" };
66
- }
67
- if (typeof windowSize === "number" && windowSize < 2) {
68
- return { ok: false, error: "windowSize must be >= 2" };
69
- }
70
- if (
71
- typeof minScore === "number" &&
72
- (minScore < 0 || minScore > 1 || !Number.isFinite(minScore))
73
- ) {
74
- return { ok: false, error: "minScore must be in [0, 1]" };
75
- }
76
- try {
77
- const flakyTests = summarizeFlakes(repoRoot, {
78
- windowSize,
79
- minScore,
80
- });
81
- return { ok: true, flakyTests };
82
- } catch (err) {
83
- return {
84
- ok: false,
85
- error: `summarizeFlakes failed: ${err instanceof Error ? err.message : String(err)}`,
86
- };
87
- }
88
- },
89
- };
90
- }
1
+ /**
2
+ * `mandu_ate_flakes` — Phase A.2 flake detector surface.
3
+ *
4
+ * Returns every spec whose rolling pass/fail transition ratio exceeds
5
+ * `minScore` (default 0.1) within the last `windowSize` runs
6
+ * (default 20). Agents use this to prioritize stabilization work.
7
+ *
8
+ * Data source: `.mandu/ate-run-history.jsonl`, appended to by
9
+ * `runSpec`. When no history is present we return an empty array —
10
+ * not an error.
11
+ *
12
+ * Snake_case naming per §11 decision 4.
13
+ */
14
+ import type { Tool } from "@modelcontextprotocol/sdk/types.js";
15
+ import { summarizeFlakes } from "@mandujs/ate";
16
+
17
+ export const ateFlakesToolDefinitions: Tool[] = [
18
+ {
19
+ name: "mandu_ate_flakes",
20
+ annotations: {
21
+ readOnlyHint: true,
22
+ },
23
+ description:
24
+ "Phase A.2 flake detector. Reads `.mandu/ate-run-history.jsonl` and returns specs " +
25
+ "whose pass/fail status flips often within the rolling window. `flakeScore` = " +
26
+ "status_transitions / (N - 1) over last `windowSize` non-skipped runs. " +
27
+ "Pure-pass PPPPP = 0.0 (stable), pure-fail FFFFF = 0.0 (broken, NOT flaky), " +
28
+ "alternating PFPF = 1.0. Returns an empty list when history is empty or no spec " +
29
+ "clears `minScore`. Use this to prioritize which flaky tests to fix first — feed " +
30
+ "a specPath from the result into mandu_ate_run for a re-run + full failure.v1 " +
31
+ "diagnostic.",
32
+ inputSchema: {
33
+ type: "object",
34
+ properties: {
35
+ repoRoot: {
36
+ type: "string",
37
+ description: "Absolute path to the Mandu project root",
38
+ },
39
+ windowSize: {
40
+ type: "number",
41
+ minimum: 2,
42
+ description: "Rolling window size. Default: 20.",
43
+ },
44
+ minScore: {
45
+ type: "number",
46
+ minimum: 0,
47
+ maximum: 1,
48
+ description: "Filter threshold for flakeScore. Default: 0.1.",
49
+ },
50
+ },
51
+ required: ["repoRoot"],
52
+ },
53
+ },
54
+ ];
55
+
56
+ export function ateFlakesTools(_projectRoot: string) {
57
+ return {
58
+ mandu_ate_flakes: async (args: Record<string, unknown>) => {
59
+ const { repoRoot, windowSize, minScore } = args as {
60
+ repoRoot: string;
61
+ windowSize?: number;
62
+ minScore?: number;
63
+ };
64
+ if (!repoRoot || typeof repoRoot !== "string") {
65
+ return { ok: false, error: "repoRoot is required" };
66
+ }
67
+ if (typeof windowSize === "number" && windowSize < 2) {
68
+ return { ok: false, error: "windowSize must be >= 2" };
69
+ }
70
+ if (
71
+ typeof minScore === "number" &&
72
+ (minScore < 0 || minScore > 1 || !Number.isFinite(minScore))
73
+ ) {
74
+ return { ok: false, error: "minScore must be in [0, 1]" };
75
+ }
76
+ try {
77
+ const flakyTests = summarizeFlakes(repoRoot, {
78
+ windowSize,
79
+ minScore,
80
+ });
81
+ return { ok: true, flakyTests };
82
+ } catch (err) {
83
+ return {
84
+ ok: false,
85
+ error: `summarizeFlakes failed: ${err instanceof Error ? err.message : String(err)}`,
86
+ };
87
+ }
88
+ },
89
+ };
90
+ }
@@ -1,103 +1,103 @@
1
- /**
2
- * `mandu_ate_mutate` — Phase C.2 contract-semantic mutation runner.
3
- *
4
- * Runs up to 9 mutation operators on a single target file and executes
5
- * the repo's test command against each mutation. Classifies results as
6
- * killed / survived / timeout / error and persists
7
- * `.mandu/ate-mutations/last-run.json` for `mandu_ate_mutation_report`.
8
- *
9
- * Spec: docs/ate/phase-c-spec.md §C.2.
10
- */
11
-
12
- import type { Tool } from "@modelcontextprotocol/sdk/types.js";
13
- import { runMutations } from "@mandujs/ate";
14
-
15
- export const ateMutateToolDefinitions: Tool[] = [
16
- {
17
- name: "mandu_ate_mutate",
18
- annotations: {
19
- readOnlyHint: false,
20
- },
21
- description:
22
- "Phase C.2 — run contract-semantic mutation testing on a target file. " +
23
- "9 operators: remove_required_field, narrow_type, widen_enum, flip_nullable, " +
24
- "rename_field, swap_sibling_type, skip_middleware, early_return, bypass_validation. " +
25
- "Each mutation is written to the target file, the repo's test command runs " +
26
- "against it, and the result is classified killed / survived / timeout / error. " +
27
- "Default cap 50 mutations per invocation; pass `--all` or maxMutations to lift. " +
28
- "The original file is always restored. Persists .mandu/ate-mutations/last-run.json.",
29
- inputSchema: {
30
- type: "object",
31
- properties: {
32
- repoRoot: {
33
- type: "string",
34
- description: "Absolute path to the Mandu project root.",
35
- },
36
- targetFile: {
37
- type: "string",
38
- description:
39
- "Absolute or repo-relative path to the file to mutate (contract, handler, or filling).",
40
- },
41
- testCommand: {
42
- type: "array",
43
- items: { type: "string" },
44
- description:
45
- "Optional override for the test command (argv form). Default: resolved from spec-indexer.",
46
- },
47
- timeoutMs: {
48
- type: "number",
49
- description: "Per-mutation timeout in ms. Default 120000.",
50
- },
51
- maxMutations: {
52
- type: "number",
53
- description: "Cap on the number of mutations executed. Default 50.",
54
- },
55
- operators: {
56
- type: "array",
57
- items: { type: "string" },
58
- description:
59
- "Optional subset of operator names. Default = all 9. Pass [] to skip execution.",
60
- },
61
- },
62
- required: ["repoRoot", "targetFile"],
63
- },
64
- },
65
- ];
66
-
67
- export function ateMutateTools(_projectRoot: string) {
68
- return {
69
- mandu_ate_mutate: async (args: Record<string, unknown>) => {
70
- const repoRoot = args.repoRoot as string | undefined;
71
- const targetFile = args.targetFile as string | undefined;
72
- if (!repoRoot || typeof repoRoot !== "string") {
73
- return { ok: false, error: "repoRoot is required" };
74
- }
75
- if (!targetFile || typeof targetFile !== "string") {
76
- return { ok: false, error: "targetFile is required" };
77
- }
78
- try {
79
- const result = await runMutations({
80
- repoRoot,
81
- targetFile,
82
- ...(Array.isArray(args.testCommand) ? { testCommand: args.testCommand as string[] } : {}),
83
- ...(typeof args.timeoutMs === "number" ? { timeoutMs: args.timeoutMs } : {}),
84
- ...(typeof args.maxMutations === "number" ? { maxMutations: args.maxMutations } : {}),
85
- ...(Array.isArray(args.operators) ? { operators: args.operators as never } : {}),
86
- });
87
- return {
88
- ok: true,
89
- targetFile: result.targetFile,
90
- totalGenerated: result.totalGenerated,
91
- totalExecuted: result.totalExecuted,
92
- reportPath: result.reportPath,
93
- results: result.results,
94
- };
95
- } catch (err) {
96
- return {
97
- ok: false,
98
- error: err instanceof Error ? err.message : String(err),
99
- };
100
- }
101
- },
102
- };
103
- }
1
+ /**
2
+ * `mandu_ate_mutate` — Phase C.2 contract-semantic mutation runner.
3
+ *
4
+ * Runs up to 9 mutation operators on a single target file and executes
5
+ * the repo's test command against each mutation. Classifies results as
6
+ * killed / survived / timeout / error and persists
7
+ * `.mandu/ate-mutations/last-run.json` for `mandu_ate_mutation_report`.
8
+ *
9
+ * Spec: docs/ate/phase-c-spec.md §C.2.
10
+ */
11
+
12
+ import type { Tool } from "@modelcontextprotocol/sdk/types.js";
13
+ import { runMutations } from "@mandujs/ate";
14
+
15
+ export const ateMutateToolDefinitions: Tool[] = [
16
+ {
17
+ name: "mandu_ate_mutate",
18
+ annotations: {
19
+ readOnlyHint: false,
20
+ },
21
+ description:
22
+ "Phase C.2 — run contract-semantic mutation testing on a target file. " +
23
+ "9 operators: remove_required_field, narrow_type, widen_enum, flip_nullable, " +
24
+ "rename_field, swap_sibling_type, skip_middleware, early_return, bypass_validation. " +
25
+ "Each mutation is written to the target file, the repo's test command runs " +
26
+ "against it, and the result is classified killed / survived / timeout / error. " +
27
+ "Default cap 50 mutations per invocation; pass `--all` or maxMutations to lift. " +
28
+ "The original file is always restored. Persists .mandu/ate-mutations/last-run.json.",
29
+ inputSchema: {
30
+ type: "object",
31
+ properties: {
32
+ repoRoot: {
33
+ type: "string",
34
+ description: "Absolute path to the Mandu project root.",
35
+ },
36
+ targetFile: {
37
+ type: "string",
38
+ description:
39
+ "Absolute or repo-relative path to the file to mutate (contract, handler, or filling).",
40
+ },
41
+ testCommand: {
42
+ type: "array",
43
+ items: { type: "string" },
44
+ description:
45
+ "Optional override for the test command (argv form). Default: resolved from spec-indexer.",
46
+ },
47
+ timeoutMs: {
48
+ type: "number",
49
+ description: "Per-mutation timeout in ms. Default 120000.",
50
+ },
51
+ maxMutations: {
52
+ type: "number",
53
+ description: "Cap on the number of mutations executed. Default 50.",
54
+ },
55
+ operators: {
56
+ type: "array",
57
+ items: { type: "string" },
58
+ description:
59
+ "Optional subset of operator names. Default = all 9. Pass [] to skip execution.",
60
+ },
61
+ },
62
+ required: ["repoRoot", "targetFile"],
63
+ },
64
+ },
65
+ ];
66
+
67
+ export function ateMutateTools(_projectRoot: string) {
68
+ return {
69
+ mandu_ate_mutate: async (args: Record<string, unknown>) => {
70
+ const repoRoot = args.repoRoot as string | undefined;
71
+ const targetFile = args.targetFile as string | undefined;
72
+ if (!repoRoot || typeof repoRoot !== "string") {
73
+ return { ok: false, error: "repoRoot is required" };
74
+ }
75
+ if (!targetFile || typeof targetFile !== "string") {
76
+ return { ok: false, error: "targetFile is required" };
77
+ }
78
+ try {
79
+ const result = await runMutations({
80
+ repoRoot,
81
+ targetFile,
82
+ ...(Array.isArray(args.testCommand) ? { testCommand: args.testCommand as string[] } : {}),
83
+ ...(typeof args.timeoutMs === "number" ? { timeoutMs: args.timeoutMs } : {}),
84
+ ...(typeof args.maxMutations === "number" ? { maxMutations: args.maxMutations } : {}),
85
+ ...(Array.isArray(args.operators) ? { operators: args.operators as never } : {}),
86
+ });
87
+ return {
88
+ ok: true,
89
+ targetFile: result.targetFile,
90
+ totalGenerated: result.totalGenerated,
91
+ totalExecuted: result.totalExecuted,
92
+ reportPath: result.reportPath,
93
+ results: result.results,
94
+ };
95
+ } catch (err) {
96
+ return {
97
+ ok: false,
98
+ error: err instanceof Error ? err.message : String(err),
99
+ };
100
+ }
101
+ },
102
+ };
103
+ }