AIStoreHub Logo Mark
AIStoreHubAIStoreHub
AI Systems & Skills Security Vetted

Formal Verification

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

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

Discover and install verified Formal Verification 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
4372Community 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@community367
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@community2.9k
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@community916
Inspect
agentCommunity Indexed
Source·Free

chiasmus

Chiasmus is an MCP server that gives language models access to formal verification

@community avatar@community218
Inspect

Build & Monetize for Formal Verification

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

Publish System →Creator Studio