AIStoreHub Logo Mark
AIStoreHubAIStoreHub
AI Systems & Skills Security Vetted

Theorem Proving

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

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

Discover and install verified Theorem Proving 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.

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

Available AI Systems & Skills (3)

Open in Advanced Filter
agentCommunity Indexed
Source·Free

jacobian

Composable mathematics tools for agents

@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 Theorem Proving

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

Publish System →Creator Studio