Skip to main content

MCP App Store

Agent Skills

SKILL.md packages that extend Claude Code, Cursor, Copilot, and other AI agents.

Tags

All Skills automation cli devops security testing workflow mcp developer-tools python integration documentation ci orchestration api research frontend audit monitoring compliance productivity

Trust Score Usefulness Recommended Stars Latest

Filters

Tags

numina-lean-agent

Numina Lean Agent — Theorem Proving Toolkit

numina-lean-agent

A Lean 4 theorem-proving assistant: search lemmas, verify proofs, repair and simplify proofs, and get LLM-assisted informal proofs.

theorem-provinglean4proof-verification

redact

Lean 4 Proof Completion

redact

Complete mathematical proofs in Lean 4 for sequences and convergence, ensuring type-safe and warning-free results.

lean4formal-verificationmathematics

MCP App Store

The AI ecosystem directory — MCP Apps, Agent Skills, and daily news.

Directory

MCP Apps & Servers Agent Skills AI News AI Models What are MCP Apps?

Resources

Documentation Specification GitHub

Account

Sign in Get Started Dashboard

Company

Advertise Contact Build an MCP App

Legal

Privacy Policy Terms of Use

© 2026 MCP App Store

All rights reserved.