Send server-side conversion events from your server directly to Meta's Conversions API to track ad performance and optimize campaigns.
MIT
127,233 tools. Last updated 2026-05-05 11:11
"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP tools:
- Check Git repository status and view staged files to prepare for committing changes in the Commit Helper MCP server.
- Generate quick instructions for using the Formath MCP server in Cursor, enabling efficient extraction and conversion of mathematical content from TeX papers to Lean code.
- Find LaTeX (.tex) files in a specified directory, with options to search subfolders recursively for comprehensive document discovery.
- Converts TeX documents into Lean code via Formath JSONL, generating `entities.jsonl` and `lean/src/<module>.lean` files in sibling directories. Streamlines mathematical formalization workflows.
- Retrieve recommended default settings for creating new site audit projects in Serpstat, providing sensible starting values for project configuration.MIT
Matching MCP Servers
- AlicenseAqualityAmaintenanceEnables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.Last updated22371MIT
- FlicenseDqualityCmaintenanceA local agent that monitors your system clipboard, automatically uploads copied images to Supabase Storage, and replaces the clipboard content with the public URL for immediate sharing.Last updated22
Matching MCP Connectors
Transform any blog post or article URL into ready-to-post social media content for Twitter/X threads, LinkedIn posts, Instagram captions, Facebook posts, and email newsletters. Pay-per-event: $0.07 for all 5 platforms, $0.03 for single platform.
Daily world briefing that tells AI assistants what's actually happening right now. Leaders, conflicts, deaths, economic data, holidays. Updated daily so they stop getting current events wrong.
- Report Google Ads conversions by conversion action and date, with optional campaign filter. Provides total conversions, per-action breakdowns, daily trends, and landing page performance metrics including cost per conversion.Apache 2.0
- Connect a GitHub repository to Brandcode Studio to sync brand data automatically. The .brand/ directory serves as the source of truth, with updates applied every 5 minutes.MIT
- Manage a security monitoring daemon on a server: install it to run checks on disk, RAM, CPU, and audit every 5 minutes; remove it; or check status for last check time and threshold breaches.
- Send a Lead event to Meta Conversions API for non-purchase conversions such as form submissions, trial signups, or demo requests. Include user data; receive Meta's events_received confirmation.Apache 2.0
- Retrieve the full behavioral security audit report for a GitHub repository. Review trust score, verdict, findings, and recommendations before installing a third-party MCP server, plugin, or tool.MIT
- Retrieve detailed information about a Panther global helper by ID, including Python body code and usage details for security monitoring and detection rules.PythonApache 2.0
- Retrieve Medium articles from recommended, following, or tag-specific feeds. Specify the tab and limit to control the output.MIT
- Scan a GitHub repository to get its trust tier, score, and recommended rate limits. Use this to verify any tool or agent before running it.MIT
- Update an existing project in Autotask by modifying specific fields. Set status to 5 to mark the project complete.
- Retrieve a list of LEAN versions with basic information for each version to track engine updates.Apache 2.0
- Reads a file from a remote Gitopia repository by specifying owner, repository name, branch, and file path. Fetches raw content via the git server gateway without requiring a local clone.MIT
- Obtain the recommended max priority fee per gas to set competitive transaction fees on Ethereum and compatible networks using EIP-1559.MIT
- Create a new remote repository in JFrog Artifactory to proxy and manage external package registries, enabling secure and efficient package storage and retrieval.Apache 2.0
- Check plugin health by verifying RCON connectivity, scanning server logs for recent errors, and confirming database file status to ensure stability before testing or debugging.MIT