Chiasmus MCP Server

by yogthos• 218•• Scanned•Claim this listing•Request removal
Data Science & MLai agentsai assistantai toolsformalmethodsllm

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

Chiasmus is an open-source mcp server by yogthos, written mainly in TypeScript, with 218 GitHub stars and the Apache-2.0 license. Its code was last updated Oct 18, 2026.

aboutREADMEsecurityreviews
–
No reviews yet
Write a review

Sign in with GitHub to rate this listing.

    Chiasmus alternatives

    View more →

    Similar mcp servers in Data Science & ML, ranked by GitHub stars. Compare licence, recent activity and scan status before you choose.

    NameStarsLicenceLast updatedScan
    Chiasmus (this page)
    yogthos
    		218Apache-2.0Oct 18, 2026Scanned, no flagged issues
    MaxKB
    1Panel-dev
    		23kGPL-3.0Nov 1, 2026Scanned, no flagged issues
    FunASR
    modelscope
    		21kMITNov 1, 2026Scanned, no flagged issues
    Ida Pro MCP
    mrexodia
    		13kMITSep 26, 2026Scanned, no flagged issues
    Pal MCP Server
    BeehiveInnovations
    		12kNone foundDec 15, 2025Not scanned yet
    Osaurus
    osaurus-ai
    		8.1kMITNov 1, 2026Scanned, no flagged issues