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

agentic-flow

ruvnet/agentic-flow
MCP Tool

Easily switch between alternative low-cost AI models in Claude Code/Agent SDK. For those comfortable using Claude agents and commands, it lets you take what you've created and deploy fully hosted agents for real business purposes. Use Claude Code to get the agent working, then deploy it in your favorite cloud.

agentsclaude
Showing 1-2 of 2 skills
library
Sort
QualityStarsRecentInstalls
claude-agent-sdk
claude-code
+65
★540

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