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: performance💻 Development ToolsClear all

neo

neomjs/neo
MCP Tool

The Application Engine for the AI Era. A multi-threaded, AI-native runtime with a persistent Scene Graph, enabling AI agents to introspect and mutate the living application structure in real-time.

ai-agentsapplication-enginearchitecture
Showing 1-2 of 2 skills
library
Sort
QualityStarsRecentInstalls
autonomous-agents
+91
★3.2k

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-proverdependent-types+49
★49