io.github.Archerkattri/mathlas

Name: io.github.Archerkattri/mathlas
Author: io.github.Archerkattri

MCPcommunity

v1.4.0io.github.ArcherkattriUnknownAggiornato 3 mesi faGitHub

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

An airtight-math tool an AI uses — no LLM, no API key, free. Plug it into Claude Code, Cursor, or any MCP client. The AI is the brain; mathlas is the hands — it gives the AI the capabilities it lacks and returns data (candidates, verdicts, checklists, scaffolds) for the AI to reason over. Apache-2.0. The code is free for any use; published corpus/index artifacts carry their own per-source terms…

Funziona in

ClaudeCursorCopilotGemini

Dedotto dai trasporti dichiarati da questo annuncio (stdio). Un client che non compare qui non è escluso — semplicemente Forge non è in grado di confermarlo.

Indicizzato automaticamente da fonti pubbliche. Non ancora verificato dal suo sviluppatore su Forge.Rivendica questo annuncio →

12Stelle su GitHub

1Fork

3 mesi faUltimo aggiornamento

Pacchetto

Autoreio.github.Archerkattri

LicenzaUnknown

Versione1.4.0

Fontemcp-registry

GitHubArcherkattri/mathlas

SBOMCycloneDX 1.6 ↓

Stato di fiducia

60/100Buono

✓Presente nell’indice di Forge+10/10

—Identità del publisher verificata+0/20

→ Publisher: esegui `forge publish` dal repo del pacchetto per rivendicarne la proprietà

—Firma di pubblicazione Ed25519+0/5

→ Inclusa automaticamente quando il publisher esegue `forge publish`

—Verifica del dominio+0/5

→ Publisher: ospita /.well-known/forge.json sulla homepage del pacchetto con { "publisher": "<github-login>" }

—npm Trusted Publishing (Sigstore)+0/5

→ Pubblica da GitHub Actions con --provenance perché l’attestation leghi questo pacchetto a questo repo

—Corrispondenza del maintainer npm+0/5

→ Si ottiene quando la tua identità è verificata qui sopra e quel login è maintainer npm di questo pacchetto

✓Analisi CVE · pulita+30/30

✓Analisi statica · pulita+20/20

Incollalo in Claude Code, Cursor o qualsiasi assistente di IA per colmare tutte le lacune

StatoIndicizzato dalla community

PublisherNon verificato

FirmaNon firmato

Dominio—

Provenienza—

DipendenzeNon verificate

Superficie di strumenti—

Analisi di sicurezza✓ Pulitov1.4.0 · 3 mesi faQuanto è efficace questa analisi?

ValutazioniNessuna

Indicizzato13 giu 2026

La verifica conferma l’identità del publisher (la proprietà del repo), non la sicurezza del codice. L’analisi di sicurezza copre i CVE noti e gli script di installazione sospetti.

Strumenti

Nessuna dichiarazione di strumenti trovata nel codice3mo ago

Forge ha letto 0 file sorgente da il tarball del pacchetto pubblicato e non ha trovato alcuna registrazione di strumenti MCP. L’estrazione si basa su schemi applicati al codice distribuito: un server che costruisce l’elenco degli strumenti a runtime, o che distribuisce solo codice impacchettato o minificato, non registra nulla di visibile qui. Va letto come «non rilevato», non come «non ne espone nessuno».

Descrizione

Parole chiave

mcp

Alternative

Confronto delle superfici di strumenti…

io.github.Archerkattri/mathlas

Strumenti

Nessuna copertura delle dipendenze