loaditout.ai
BrowseRequestsSubmitBlogXPrivacyDisclaimer
loaditout.ai
SkillsMCP ServersPacksSubmitRequestsBlog
Category
💻Development Tools📈Productivity🌐Web & Browser🗄Data & Databases☁️DevOps & Cloud🧠AI & ML🔍Search & APIs🎨Design & Media💳Finance & Commerce🔒Security & Auth
Type
mcp-toolskill-mdhybridhosted-api
Showing results for:tag: verification🧠 AI & MLClear all

lean-agentic

agenticsorg/lean-agentic
MCP Tool

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-2 of 2 skills
library
Sort
QualityStarsRecentInstalls
dependent-types
+49
★49

webcite-mcp-server

strategyconnect/webcite-mcp-server
MCP Tool

MCP server for fact-checking AI claims against authoritative sources. Works with any MCP-compatible agent — Claude, Cursor, Continue, Cody, Zed, Windsurf, OpenAI Agents, LangChain, and more.

ai-agentsai-safetyanthropiccitation+15