io.github.Archerkattri/mathlas

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

MCPcommunauté

v1.4.0io.github.ArcherkattriUnknownMis à jour il y a 3 moisGitHub

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…

Fonctionne dans

ClaudeCursorCopilotGemini

Déduit des transports déclarés par cette annonce (stdio). Un client absent de cette liste n’est pas écarté pour autant — c’est simplement quelque chose que Forge ne peut pas confirmer.

Indexé automatiquement depuis des sources publiques. Pas encore vérifié par son développeur sur Forge.Revendiquer cette annonce →

12Étoiles GitHub

1Forks

il y a 3 moisDernière mise à jour

Paquet

Auteurio.github.Archerkattri

LicenceUnknown

Version1.4.0

Sourcemcp-registry

GitHubArcherkattri/mathlas

SBOMCycloneDX 1.6 ↓

Statut de confiance

60/100Bon

✓Listé dans l’index Forge+10/10

—Identité de l’éditeur vérifiée+0/20

→ Éditeur : exécutez `forge publish` depuis le dépôt du paquet pour revendiquer la propriété

—Signature de publication Ed25519+0/5

→ Incluse automatiquement quand l’éditeur exécute `forge publish`

—Vérification de domaine+0/5

→ Éditeur : hébergez /.well-known/forge.json sur la page d’accueil du paquet avec { "publisher": "<github-login>" }

—npm Trusted Publishing (Sigstore)+0/5

→ Publiez depuis GitHub Actions avec --provenance pour que l’attestation lie ce paquet à ce dépôt

—Correspondance de mainteneur npm+0/5

→ Acquis dès que votre identité est vérifiée ci-dessus et que ce login est mainteneur npm de ce paquet

✓Analyse CVE · propre+30/30

✓Analyse statique · propre+20/20

Collez-le dans Claude Code, Cursor ou tout assistant d’IA pour combler toutes les lacunes

StatutIndexé par la communauté

ÉditeurNon vérifié

SignatureNon signé

Domaine—

Provenance—

DépendancesNon audité

Surface d’outils—

Analyse de sécurité✓ Proprev1.4.0 · il y a 3 moisQuelle est l’efficacité de cette analyse ?

ÉvaluationsAucune

Indexé13 juin 2026

La vérification confirme l’identité de l’éditeur (la propriété du dépôt), pas la sûreté du code. L’analyse de sécurité couvre les CVE connues et les scripts d’installation suspects.

Outils

Aucune déclaration d’outil trouvée dans le code source3mo ago

Forge a lu 0 fichiers sources de l’archive du paquet publié et n’a trouvé aucun enregistrement d’outil MCP. L’extraction repose sur des motifs appliqués au code livré : un serveur qui construit sa liste d’outils à l’exécution, ou qui ne livre que du code empaqueté ou minifié, n’enregistre rien de visible ici. À lire comme « non détecté », pas comme « n’en expose aucun ».

À propos

Mots-clés

mcp

Alternatives

Comparaison des surfaces d’outils…

io.github.Archerkattri/mathlas

Outils

Aucune couverture des dépendances