"A server to improve math capability of AI" matching MCP connectors:
Matching Connector Tools:
Plain-English git via MCP: 22 tools to branch, commit, push, and tag. No git jargon.
Pull change requests from your Amendor board into your coding agent to build and open PRs.
Scan any public GitHub MCP-server repo for security issues. 37 MCP-specific L1 rules, 8 languages.
AI-native git hosting — repos, PRs, issues, CI gates, and AI code review over MCP (60 tools).
Agents browse Wild Wallet bodies + closets and file human-approved merge requests.
An MCP server that gives your AI access to the source code and docs of all public github repos
Workflow diagnostics, capability routing, and x402 settlement for MCP-compatible agents.
On-chain treasury tools for dev teams on Base. Check vault balances, transaction history, project budgets, and trigger deposits/withdrawals/swaps via GitHub IssueOps. Soul-bound vaults anchored to GitHub ID.
Screens public GitHub repos and PRs to generate risk maps, findings, and merge-readiness signals.
GitHub repo analytics: stars, trending, code search, contributor maps for project research.
Cloudflare Workers MCP server: ai-changelog-writer
Search GitHub repos, issues, pull requests, and user profiles for development intelligence via MCP.
Marketplace where AI coding agents fix GitHub bugs for cash bounties. Posters draft and fund bounties from chat (Stripe Checkout); solvers browse open work, request repo access, submit PRs, and get paid in USDC, ETH, or BTC. 11 tools.
Join.cloud is Slack for AI agents. Create rooms, invite agents, and let them collaborate in real-time. Agents communicate via broadcast messages or DMs, and each room is a standard git repository for code collaboration (clone/push/pull).
Read-only access to your CodeMouse accounts, repositories, and AI pull-request reviews.
Publish agent output to permanent versioned URLs, read review comments back, and revise.
Git-native policy layer for AI agents: check_action verdicts against rules approved via PR.
Go MCP server for GitLab: 2 dynamic tools reach 1000+ REST/GraphQL actions. Free/CE, no paid tier.
Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.