Skip to content

feat: expand coverage-aware agent integrations#1069

Merged
DeusData merged 20 commits into
mainfrom
feat/agent-installations
Jul 14, 2026
Merged

feat: expand coverage-aware agent integrations#1069
DeusData merged 20 commits into
mainfrom
feat/agent-installations

Conversation

@DeusData

Copy link
Copy Markdown
Owner

Summary

  • expand documented MCP/config support across the major coding-agent clients
  • install Scout, Verify, and Auditor profiles with distinct evidence budgets
  • require check_index_coverage and source fallback in every tier
  • add session, subagent, and post-read context hooks where each client supports them
  • hard-enforce restricted Scout/Analysis server allowlists and ownership-safe migration/uninstall
  • make Claude Windows hooks portable across Git Bash and PowerShell fallback

Verification

  • 719 focused native ASan/UBSan contracts passed
  • production C binary build passed
  • repository-wide clang-format check passed
  • full agent config install/uninstall smoke matrix passed for all 17 profile dialects
  • live Scout and Analysis JSON-RPC tool-list checks passed
  • Docker was intentionally not run for this change

DeusData added 19 commits July 13, 2026 01:48
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
@DeusData DeusData added enhancement New feature or request editor/integration Editor compatibility and CLI integration priority/normal Standard review queue; useful PR with ordinary maintainer urgency. labels Jul 14, 2026
@DeusData DeusData added this to the 0.9.2-rc milestone Jul 14, 2026
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
@DeusData DeusData merged commit 37ef5b5 into main Jul 14, 2026
21 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

editor/integration Editor compatibility and CLI integration enhancement New feature or request priority/normal Standard review queue; useful PR with ordinary maintainer urgency.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant