io.github.Archerkattri/mathlas

MCPcommunity
v1.4.0io.github.ArcherkattriUnknownAggiornato 2 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 →
2 mesi faUltimo aggiornamento
Pacchetto
Autoreio.github.Archerkattri
LicenzaUnknown
Versione1.4.0
Fontemcp-registry
GitHubArcherkattri/mathlas
SBOMCycloneDX 1.6 ↓
Stato di fiducia
F
10/100Non affidabile
✓Presente nell’indice di Forge+10/10
—Identità del publisher verificata+0/30
→ Publisher: esegui `forge publish` dal repo per rivendicarne la proprietà
—Verifica del dominio+0/10
→ Al momento non disponibile per questo tipo di annuncio — oggi il controllo del dominio viene eseguito solo per i pacchetti su npm, quindi questa riga non può ancora essere ottenuta qui, indipendentemente da cosa sia ospitato sul dominio.
—Analisi prompt injection · non eseguita+0/30
→ Non ancora analizzato — l’archivio del repository viene analizzato alla prossima esecuzione del cron
—Analisi offuscamento / esfiltrazione · non eseguita+0/20
→ Non ancora analizzato — l’archivio del repository viene analizzato alla prossima esecuzione del cron
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 sicurezzaNon eseguita
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

Non ancora analizzato

Forge non ha alcuna analisi registrata per questa voce, quindi non ha alcuna osservazione della sua superficie di strumenti. È assenza di prove, non prova che non esponga alcuno strumento.

Descrizione

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 (CC-BY/CC0). You use Claude Code / Cursor and want your AI to stop hallucinating math — finds the…

Parole chiave
mcp
Alternative
Confronto delle superfici di strumenti…