| Automatically annotate code with assertions capturing class invariants, pre-conditions, and post-conditions using LLM-based specification mining |
| schedule |
workflow_dispatch |
roles |
| 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 |
|
|
|
|
|
|
| GH_TOKEN |
| ${{ secrets.BOT_PAT }} |
|
| contents |
issues |
pull-requests |
| read |
read |
read |
|
| github |
view |
glob |
edit |
bash |
|
|
|
|
|
|
|
| serena |
| container |
version |
| ghcr.io/githubnext/serena-mcp-server |
latest |
|
|
| create-discussion |
missing-tool |
| title-prefix |
category |
close-older-discussions |
| [SpecBot] |
Agentic Workflows |
true |
|
|
|
45 |
| name |
uses |
with |
| Checkout repository |
actions/checkout@v5 |
| persist-credentials |
| false |
|
|
|
