Retrieve a list of LEAN versions with basic information for each version to track engine updates.
Apache 2.0
197,914 tools. Last updated 2026-06-13 00:58
"comparison-of-python-based-tools-for-converting-te-x-to-lean" matching MCP tools:
- Translate RosettaScripts XML protocols into PyRosetta Python code for computational protein design and analysis.MIT
- Run custom Python code in Fusion 360 for operations not available through standard tools. Access the application, design, and root component directly.MIT
- Retrieve compiler diagnostics (errors, warnings, infos) for a Lean file. Filter by severity, line range, or declaration to isolate specific issues.MIT
- 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.
- Find top verified alternatives to any software tool. Returns ratings, pricing, free plan status, and a direct comparison link to evaluate options.MIT
Matching MCP Servers
- AlicenseAqualityBmaintenanceEnables 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 updated22383MIT
- -license-quality-maintenanceMCP server for agentic interaction with the Lean theorem prover via LSP, providing tools for understanding, analyzing, and interacting with Lean projects.Last updated18
Matching MCP Connectors
Provide your AI coding tools with token-efficient access to up-to-date technical documentation for…
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.
- List photo-album and gallery-style posts with pagination and filtering. Returns lean records with core fields and rollups for photos and clicks.MIT
- Enumerate site navigation menus (main, footer, sidebar) with pagination and filters. Lean results; include_extras for full data.MIT
- Retrieve industry valuation comparison for peers based on a security symbol. Access PE, PB, PS, dividend yield, and historical trends.MIT
- Typecheck Lean 4 code or verify a proof against a statement using the real Lean 4 kernel. Get precise kernel errors to repair refuted proofs.Apache 2.0
- Submit a Python script for background execution in PFC. Get a task ID to poll progress, cancel, or modify variables mid-run using companion tools.MIT
- Retrieve and filter LangSmith experiment projects for model evaluation and comparison by specifying a dataset ID or name.MIT
- Statically audits MCP server Python files by enumerating tools registered via decorators and reporting security risks including shell execution, filesystem writes, network egress, and code injection.MIT
- Report installed media binaries (ffmpeg, ffprobe, ImageMagick, whisper.cpp, Python, edge-tts) to know what operations are possible.MIT
- Find formal Lean names and types of mathlib theorems using pattern or natural language queries. Serves cached results when services are down.Apache 2.0
- Run Python code to sequentially call tools and return combined results for on-call health insights.Apache 2.0
- Retrieve the Python source code of an Apache Airflow DAG by providing its DAG ID. Returns the DAG file content and file token for inspection and debugging.Apache 2.0
- Mount MCP server tools at runtime without restarting. Filter tools to mount only those needed, and unmount to kill process. Supports multiple registries.MIT
- Archive stale memories to maintain a lean, fast active memory. Specify project path and maximum age in days.MIT
- Find relevant tools by describing your task. Returns up to 10 matches based on natural language input.MIT