Matisa

Name: Matisa
Author: Firefox user 12498047

This extension allows Isabelle math syntax on GitHub to be appropriately typeset.

Matisa: Isabelle Math Syntax Add-on for Firefox

Matisa is a Firefox add-on that parses Isabelle syntax on GitHub and renders it using MathJax. It improves the display of Isabelle math equations on GitHub repositories.

Download

Add-on stats

By: Firefox user 12498047

Daily users: 4

Version: 1.1.1resigned1 (Last updated: 2024-04-25)

Version code: 5727167

Creation date: 2016-08-27

Firefox on Android: Yes

Risk:

Permissions:

*://github.com/*

Size: 1.48M

Full description: See detailed description

Source: Firefox Browser Add-ons

Ranking

# 41,469 ▲ 5,172

Add-on safety

Risk impact

Matisa requires a few sensitive permissions. Exercise caution before installing.

Risk impact analysis details

Critical Request access to the following domains: github.com, bitbucket.org
High ******* ******* **** *** ****** ***** *** ***** ** ******* **** ********* ********* ** * *********** *****

Risk likelihood

Matisa is probably trust-worthy. Prefer other publishers if available. Exercise caution when installing this add-on.

Risk likelihood analysis details

High This extension has low user count. Unpopular extensions may not be stable or safe.
Low **** ********* *** ******* **** **** * ****** **** ***** ******** *** **** ****** ** ** ****** *** *****
Low **** ********* *** ***** **** **** * ****** **** ***** ********** *** **** ****** ** ** ****** *** *****

Upgrade to see full risk analysis details