feat/git-mcp (chat & server) and X badges

[omerlerinman]

Adding two new badges to README.md to improve discoverability and community engagement.

Why this change?

GitHub README badges act as a quick, visual TL;DR that guide visitors to the most useful links and metrics for a project. Well-chosen badges are widely considered a best-practice for open-source projects because they increase click-through rates and help convey credibility at a glance.

What’s included?

Badge	Purpose
GitMCP Badge	1-click access to this repo’s dedicated MCP & Chat servers, plus a live counter of documentation opens via GitMCP.
Follow Us on X	Direct link inviting readers to follow Certora’s X (Twitter) account for updates.

Both badges are rendered directly under the main project title so they’re visible above the fold.

Implementation details

• Re-used the official GitMCP badge snippet recommended in the GitMCP README.
• Generated the X-follow badge via Shields.io using the pattern https://img.shields.io/twitter/follow/{handle}?style=for-the-badge.

How to review

1. Open the “Files changed” tab.
2. Click README.md and choose “Preview” to see the badges rendered in place.
3. Verify that both links open in a new tab and the GitMCP counter increments on first load.

Screenshot

Checklist

• Markdown renders without warnings.
• Badge links verified.
• No linting or test regressions.