Retrieve a list of LEAN versions with basic information for each version to track engine updates.
Apache 2.0
314,038 tools. Last updated 2026-07-28 10:56
"Comparison of Python-based tools for converting TeX 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
- 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.
- Find LaTeX (.tex) files in a specified directory, with options to search subfolders recursively for comprehensive document discovery.
- Exports a Mathematica notebook to PDF, HTML, TeX, or Markdown. Choose the format and path for the exported file.MIT
Matching MCP Servers
- Alicense-qualityBmaintenanceAn MCP server for ingesting Lean Six Sigma PDFs into a searchable multimodal knowledge base.Last updatedMIT
- Alicense-qualityCmaintenanceTEX is an MCP server that enables Claude Code to perform browser tasks using plain language, driving a real browser to interact with web applications that lack APIs.Last updatedMIT
Matching MCP Connectors
Decision Layer for AI Agents — 58+ tools, Advisor, MCP. Free key: POST /v1/register {}.
Pay-per-call AI tools over x402: web research, summarization, structured extraction (USDC, Base).
- 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
- 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
- Report installed media binaries (ffmpeg, ffprobe, ImageMagick, whisper.cpp, Python, edge-tts) to know what operations are possible.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
- Check which MCP functions are available based on account permissions, with calendar tools reported available when CalDAV credentials are configured.MIT
- 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 scripts on .blend files in headless mode to perform batch modifications, with optional saving of the file.MIT
- 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
- Retrieve Spark driver logs from completed notebook executions to debug Python errors and analyze Spark behavior. Use stdout for Python tracebacks or stderr for system logs.MIT