mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-29 13:28:44 +00:00
Code Activity
z3/.github/workflows/specbot.md
Copilot 21cdab0f20
Integrate Serena MCP server for C++ semantic analysis in SpecBot (#8410) 
* Initial plan

* Add Serena MCP server integration to SpecBot workflow for C++ analysis

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

* Clean up Serena integration - remove unnecessary env variable (auto-detects C++)

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-27 20:01:54 -08:00

1.3 KiB
Raw Blame History

description on roles env permissions tools mcp-servers safe-outputs timeout-minutes steps
Automatically annotate code with assertions capturing class invariants, pre-conditions, and post-conditions using LLM-based specification mining
schedule workflow_dispatch
weekly
inputs
target_path target_class
description required default
Target directory or file to analyze (e.g., src/ast/, src/smt/smt_context.cpp) false
description required default
Specific class name to analyze (optional) false
write
maintain
admin
GH_TOKEN
${{ secrets.BOT_PAT }}
contents issues pull-requests
read read read
github view glob grep edit bash
toolsets
default
:*
serena
container version
ghcr.io/githubnext/serena-mcp-server latest
create-discussion missing-tool
title-prefix category close-older-discussions
[SpecBot] Agentic Workflows true
create-issue
true
45
name uses
Checkout repository actions/checkout@v5

@./agentics/specbot.md