Retrieve a list of LEAN versions with basic information for each version to track engine updates.
Apache 2.0
308,112 tools. Last updated 2026-07-28 05:26
"comparison-of-python-based-tools-for-converting-te-x-to-lean" matching MCP tools:
- Retrieve cached version information for Python development tools including pip, poetry, and others in a specified directory.Apache 2.0
- Run custom Python code in Fusion 360 for operations not available through standard tools. Access the application, design, and root component directly.MIT
- Translate RosettaScripts XML protocols into PyRosetta Python code for computational protein design and analysis.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.
- Generate a comparison x-ray dashboard for a specific cell of an entity by applying a rule and comparing it to another entity.MIT
Matching MCP Servers
- Alicense-qualityBmaintenanceAn MCP server for ingesting Lean Six Sigma PDFs into a searchable multimodal knowledge base.Last updatedMIT
- Alicense-qualityDmaintenanceEnables verification of Lean 4 mathematical proofs via MCP tools, allowing AI clients to compile and check theorems with Mathlib.Last updated1MIT
Matching MCP Connectors
Decision Layer for AI Agents — 58+ tools, Advisor, MCP. Free key: POST /v1/register {}.
X (formerly Twitter) posts, profiles, and search for AI agents. Free key, self-minted, no signup.
- Compare file size savings of WebP, AVIF, and JPEG XL over JPEG at matched quality. Also measures the size increase when converting iPhone HEIC to JPG or PNG. Justify your image format decision for websites or apps.MIT
- Get a copy-paste example of converting an OpenAPI 3.x API into curated MCP tools. Shows the ordered steps, POST body with spec URL, baseUrl, headers, and the resulting tool name.MIT
- Retrieve and filter LangSmith experiment projects for model evaluation and comparison by specifying a dataset ID or name.MIT
- Enumerate navigation menus on your site with pagination, filtering, and sorting. Returns lean records by default; include extras for full menu details.MIT
- Authenticate with X credentials to enable write and private tools for the current session. Supports email verification and TOTP for two-factor authentication.MIT
- Run arbitrary Python code within Blender to handle advanced tasks beyond standard tools, using bpy, mathutils, and math, with results in a 'result' variable.MIT
- Search for trusted tools, articles, and resources recommended by domain experts, with explanations of their value.MIT
- Run Python code to sequentially call tools and return combined results for on-call health insights.Apache 2.0
- Retrieve the result of an xDaLa session start, including lean result summary and audit events. Read-only lookup for completed session initiations.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
- Read a specific slice of a text file using Python-style start, stop, step parameters. Automatically handles BOM and encoding for efficient content access.Apache 2.0
- Run Python code directly within DaVinci Resolve to automate tasks, manipulate timelines, manage media, and control Fusion operations through script execution.MIT
- Find relevant tools by describing your task. Returns up to 10 matches based on natural language input.MIT
- Repay a fixed-term crypto loan by converting collateral into the loan currency. Use this to settle outstanding loan balances with collateral assets.MIT