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 testing security developer-tools integration workflow ci mcp api python orchestration documentation research devtools monitoring templates audit code-review

Trust Score Usefulness Recommended Stars Latest

Filters

Tags

#formal-methods×

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

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

Contact Build an MCP App

Legal

Privacy Policy Terms of Use

© 2026 MCP App Store

All rights reserved.