lean-agentic

MCP Tool

agenticsorg/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.

Install

$ npx loaditout add agenticsorg/lean-agentic

Reviews

Loading reviews...

Quality Signals

Quality Score45

Stars

Installs

Last updated142 days ago

Security: AREADME

New

lean-agentic

Install

Tags

Reviews

Quality Signals

Safety

Details

Embed Badge