AIStoreHub Logo Mark
AIStoreHubAIStoreHub
AI Systems & Skills Security Vetted

Lean4

Top open-source Lean4 AI systems, agents, and MCP tools.

1-Click CLI Quickstartv0.1.10
$aistorehub pull @community/jacobian

Discover and install verified Lean4 AI systems, autonomous agent skills, and Model Context Protocol servers on AIStoreHub. Reusable, security-scanned, and ready for 1-click execution in Cursor, Claude Code, and terminal workflows.

4Systems Indexed
0Community Stars & Forks
4Verified Creators
Related Topics:#open-source#claude-code#cursor#mcp-server#agent-skill

Available AI Systems & Skills (4)

Open in Advanced Filter
agentCommunity Indexed
Source·Free

jacobian

Composable mathematics tools for agents

@community avatar@community
Inspect
agentCommunity Indexed
Source·Free

resimind

Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.

@community avatar@community
Inspect
MCP ServerCommunity Indexed
MCP·Free

open-ontologies

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

@community avatar@community
Inspect
agentCommunity Indexed
Source·Free

h5i

Unified Rust framework for building, verifying, and testing web apps. Kernel-based architecture for Lean 4 verification and GPU acceleration. Built-in red-teaming tools for automated vulnerability detection.

@community avatar@community
Inspect

Build & Monetize for Lean4

Have you created an autonomous agent, MCP server, or Claude Code skill for Lean4? Publish it to AIStoreHub with dual-currency checkout (USD $ + INR ₹) and earn 85–90% net revenue.

Publish System →Creator Studio