isabelle-mcp

by xqyww123io.github.xqyww123/isabelle-mcp-changelog.mdv0.6.0

How the score works

  • Runs on your machine
  • No known advisories
  • LGPL-2.1-OR-LATER

Known advisories

None known for its packages.

Checked 2026-10-28 against OSV.dev and deps.dev.

These are automated signals about its packages, not a security audit.