Browse AI Agent Skills and MCP Servers

lean-agentic

A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-driven optimization, and vector-backed agent memory.

agentic-aileantheorem-prover

Showing 1-5 of 5 skills

Sort

Quality Stars Recent Installs

dependent-types

+49

★49

mermaid-mcp

Narasimhaponnada/mermaid-mcp

MCP Tool

aiarchitectureautomationclaude+16

★39

ignis

VENIZIA-AI/ignis

MCP Tool

Hono-based Infrastructure

aiai-assistantai-developmentai-tools+35

★10

limps

paulbreuler/limps

MCP Tool

limps your Local Intelligent MCP Planning Server across AI assistants. No subscriptions, no cloud—run it locally. Version control your planning docs in git. No more context drift—one shared source of truth across Claude, Cursor, Copilot, and any MCP tool.

ai-agentsai-planningai-testing-best-practicescli+19

★8

cntx-ui

whaleen/cntx-ui

MCP Tool

File context management tool with web UI and MCP server for AI development workflows - bundle project files for LLM consumption

aiai-developmentai-workflowbundling+21