Site profile
squirrel-prover.github.io
Built with mathjax 4, jquery 4.0.0, lightbox2 2.12.0, dashjs 5.2.1, @codemirror/state 6.7.6, @codemirror/view 6.43.13, @tolgee/web 7.2.1, volantis-static 0.0.1761982841160, @imtbl/checkout-widgets 2.24.9, @codemirror/language 6.12.4, @lezer/common 1.5.3, @lezer/highlight 1.2.4 and more. 5 pages and 17 stored files, last crawled 2026-10-03.
16 libraries 0 identifiers 8 third-party hosts 1 crawl open the site
Technologies and libraries
Recognised by fingerprinting the stored files and bundles against known releases; a version is the release the bytes match.
| Library | Version | Seen |
|---|---|---|
| mathjax | 4 | 2026-10-03 |
| jquery | 4.0.0 | 2026-10-03 |
| lightbox2 | 2.12.0 | 2026-10-03 |
| dashjs | 5.2.1 | 2026-10-03 |
| @codemirror/state | 6.7.6 | 2026-10-03 |
| @codemirror/view | 6.43.13 | 2026-10-03 |
| @tolgee/web | 7.2.1 | 2026-10-03 |
| volantis-static | 0.0.1761982841160 | 2026-10-03 |
| @imtbl/checkout-widgets | 2.24.9 | 2026-10-03 |
| @codemirror/language | 6.12.4 | 2026-10-03 |
| @lezer/common | 1.5.3 | 2026-10-03 |
| @lezer/highlight | 1.2.4 | 2026-10-03 |
| @lezer/lr | 1.4.10 | 2026-10-03 |
| @feedmepos/mf-inventory-portal | 1.7.17 | 2026-10-03 |
| dmn-js | 17.12.0 | 2026-10-03 |
| jeep-sqlite | 2.8.0 | 2026-10-03 |
Tracking, tag and verification IDs
No analytics property, tag manager container, pixel or site-verification token was found in the stored source.
Third-party hosts
Hosts outside squirrel-prover.github.io that its pages load scripts, frames or stylesheets from, and that its own scripts name in absolute URLs (connect). Each links to every site loading from the same host.
| Host | Loaded as | Found in |
|---|---|---|
| cdn.jsdelivr.net | script | view source |
| d3js.org | script | view source |
| fonts.googleapis.com | stylesheet | view source |
| mozilla.github.io | connect | view source |
| readthedocs-sphinx-search.readthedocs.io | connect | view source |
| readthedocs.org | connect | view source |
| stackpath.bootstrapcdn.com | stylesheet | view source |
| www.w3.org | connect | view source |
Stored pages and scripts
The newest stored version of each file, newest first@if (p.FilesTruncated) {
Timeline
One entry per crawl, newest first, with what changed since the crawl before: libraries, identifiers, third-party hosts and files. Historical versions stay viewable because the stored chunks are shared between versions, never copied.
-
first crawl
5 pages, 17 files, 2.2 MB; 16 libraries, 0 identifiers, 8 third-party hosts
16 libraries added
- dmn-js 17.12.0
- @codemirror/state 6.7.6
- @tolgee/web 7.2.1
- @codemirror/view 6.43.13
- @lezer/common 1.5.3
- @lezer/highlight 1.2.4
- @codemirror/language 6.12.4
- @feedmepos/mf-inventory-portal 1.7.17
- jeep-sqlite 2.8.0
- @imtbl/checkout-widgets 2.24.9
- dashjs 5.2.1
- lightbox2 2.12.0
- and 4 more
8 third-party hosts added
17 files added
- https://squirrel-prover.github.io/ html
- https://squirrel-prover.github.io/index.html html
- https://squirrel-prover.github.io/jsquirrel/?open=0-logic.sp html
- https://squirrel-prover.github.io/documentation/ html
- https://squirrel-prover.github.io/examples.html html
- https://squirrel-prover.github.io/jsquirrel/static/visualisation_script.js js
- https://squirrel-prover.github.io/jsquirrel/static/editor.bundle.js js
- https://squirrel-prover.github.io/documentation/_static/jquery.js?v=5d32c60e js
- https://squirrel-prover.github.io/documentation/…frameworks_compat.js?v=2cd50e6c js
- https://squirrel-prover.github.io/documentation/…mentation_options.js?v=5929fcd5 js
- https://squirrel-prover.github.io/documentation/_static/doctools.js?v=fd6eb6e6 js
- https://squirrel-prover.github.io/documentation/…/sphinx_highlight.js?v=6ffebe34 js
- and 5 more
Questions about squirrel-prover.github.io
- How does PageSourceSearch know what squirrel-prover.github.io is built with?
- From the site's own source code. The crawler stores the exact bytes of its pages and first-party scripts; the libraries are recognised by fingerprinting that code against known releases, the identifiers are read out of the tag snippets, and the third-party hosts are the script, iframe and stylesheet sources in the HTML and the absolute URLs inside the scripts. Nothing is inferred from headers or guessed.
- How far back does the history of squirrel-prover.github.io go?
- To the first crawl the timeline lists. Every crawl records what the site looked like; when a file's content changes, its earlier version stays viewable because the stored chunks are never deleted, only mapped. A crawl that finds a file unchanged adds no copy.
- Can I see an older version of a script from squirrel-prover.github.io?
- Yes. In the stored files list, every date under a file opens the version that was live at that crawl, with the same viewer as the current one. The raw bytes can be downloaded from there.
- Which other websites use the same tracking IDs as squirrel-prover.github.io?
- Each identifier links to its reverse lookup, the list of every site in the index whose source carries the same id: the sites one analytics property or tag manager container is shared across.
Look up another site, browse sites by tracking ID, third-party host or technology. Site owners: see the crawler page for how stored pages are removed.