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: agent-identity💻 Development ToolsClear 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-3 of 3 skills
library
Sort
QualityStarsRecentInstalls
dependent-types
+49
★49

agenium

Aganium/agenium
MCP Tool

AGENIUM — DNS of the Agent Web. Identity, trust & discovery for AI agents. MCP-compatible. agent:// protocol with mTLS, trust scores & capability search.

a2aagent-discoveryagent-protocolagent-registry+23
★2

agent-passport-mcp

aeoess/agent-passport-mcp
MCP Tool

MCP server for Agent Passport System — 61 tools across 17 protocol modules. Ed25519 identity, delegation, governance, commerce for AI agents. 534 tests.

ai-agentsclaudedelegationed25519+16