MCP Integration with Amazon Q CLI#4484

Open

ConnorJKY wants to merge 13 commits into

model-checking:mainfrom

yimingyinqwqq:mcp

Commits on Nov 18, 2025

Add Kani MCP Server for Amazon Q integration

jingfei-xu
authored and
ConnorJKY
committed
Add Kani MCP server and Amazon Q complete implementation

jingfei-xu
authored and
ConnorJKY
committed
Amazon Q CLI Integration

jingfei-xu
authored and
ConnorJKY
committed
Amazon Q latest integration (Amazon Q CLI)

jingfei-xu
authored and
ConnorJKY
committed
Code Format Cleanup

jingfei-xu
authored and
ConnorJKY
committed
Comments fixed

jingfei-xu
authored and
ConnorJKY
committed

Commits on Nov 21, 2025

Commits on Nov 24, 2025

Fix copyright checks
ConnorJKY
committed