Matisa

Name: Matisa
Author: Firefox user 12498047

By: Firefox user 12498047

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

Download

Install

Features & Capabilities

This extension parses Isabelle syntax on GitHub and renders it using MathJax. This is currently a beta version, example available at: https://github.com/isabelle-utp/utp-main/tree/shallow.2016/utp

Changelog:

Version 1.0.6 (Current):

Improved detection logic of Isabelle repositories by using the GitHub API when the extension cannot safely determine this.

Version 1.0.5:

Fix for version display.

Version 1.0.4:

Improved compatibility with Firefox.
Optimized extension code.
Fixed <bar> command.

Version 1.0.3:

Reduced extension size down to 2.3MiB (size unzipped) by using closure and minimizing the MathJax library.
Updated parser's rules to deal with nested subscripts and escaping of underscores.
Optimized extension loading logic to be portable.

Version 1.0.2:

Added missing file.

Version 1.0.1:

Initial Chrome web store release.

User Growth & Download Statistics

Add-on

By:

Firefox user 12498047

Daily users:

4 1

Version:

1.1.1resigned1 Last updated: 2024-04-25

Version code:

5727167

Creation date:

2016-08-27

Risk:

Permissions:

*://github.com/*

Content scripts matches:

github.com
bitbucket.org

Size:

1.41MB

Full description:

Source:

Firefox Add-ons Store

Data ingested on:

2026-07-09

Compare stats and ranking:

Ranking

# 47,960 ▲ 6,420

For Developers

Monetize with App Pass Boost with Extension Booster

Contact the developer

Chrome-Stats does not own this Firefox add-on. Please use these information below to contact the Firefox add-on developer.

Developed by:

Firefox user 12498047

Firefox Add-ons Store

https://addons.mozilla.org/firefox/addon/matisa/

Is Matisa Safe?

Risk impact

Risk impact measures the level of extra permissions an extension has access to. A low risk impact extension cannot do much harms, whereas a high risk impact extension can do a lot of damage like stealing your password, bypassing your security settings, and accessing your personal data. High risk impact extensions are not necessarily malicious. However, if they do turn malicious, they can be very harmful.

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

Risk likelihood measures the probability that a Firefox add-on may turn malicious. This is determined by the publisher and the Firefox add-on reputation on Firefox Add-ons Store, the amount of time the Firefox add-on has been around, and other signals about the Firefox add-on. Our algorithms are not perfect, and are subject to change as we discover new ways to detect malicious extensions. We recommend that you always exercise caution when installing a Firefox add-on.

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 **** ********* *** ***** **** **** * ****** **** ***** ********** *** **** ****** ** ** ****** *** *****