lean4monaco

SkillAI Toolleanleanprovermonacoeditor

Monaco Editor support for the Lean 4 theorem prover.

Directory Presence

Cross-referenced across 55 tracked directories

Directory	Status	First Seen	Last Confirmed	Link
N npm Skills Registry		3/14/2026	3/16/2026

Adoption Metrics

#4186

Popularity Rank

1 / 55

Listed In

Emerging

Adoption Stage

Listed For

Recently added to the ecosystem

Health Score

11/100

Directory Presence6/30

Community0/25

Usage0/25

Maintenance5/20

vs Category Average

This Package Category Average

Related Skills

@vercel/detect-agent

vercel-release-bot

Detect if code is running in an AI agent or automated development environment

SkillAI Tool

4 dirs

bedrock-agentcore

GitHub Actions

TypeScript SDK for AWS Bedrock AgentCore

SkillAI Tool

4 dirs

nanoid

A tiny (118 bytes), secure URL-friendly unique string ID generator

SkillAI Tool

3 dirs

@google/genai

google-wombot

[![NPM Downloads](https://img.shields.io/npm/dw/%40google%2Fgenai)](https://www.npmjs.com/package/@google/genai) [![Node Current](https://img.shields.io/node/v/%40google%2Fgenai)](https://www.npmjs.com/package/@google/genai)

SkillAI Tool

3 dirs