AIStoreHub Logo Mark
AIStoreHubAIStoreHub
AI Systems & Skills Security Vetted

Formalmethods

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

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

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

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

Available AI Systems & Skills (1)

Open in Advanced Filter
agentCommunity Indexed
Source·Free

chiasmus

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

@community avatar@community
Inspect

Build & Monetize for Formalmethods

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

Publish System →Creator Studio