1. Conduid
  2. Files
  3. Mathlib5 Spec MCP
MCP server · Files

Mathlib5 Spec MCP

by · github.com/SNAPKITTYWEST/mathlib5-spec-mcp

[ARCHIVED] Custom MCP Server for MATHLIB5 VSCP Meta-Architecture - Bridges kernels and engines to AI agents with full system introspection — SSL v3.0

Unclaimed aiarchitectureintrospectionmathlib5mcpproductionsovereign
InstallView source
20Low

Scored 17 hours ago · breakdown

About Mathlib5 Spec MCP

Mathlib5 Spec MCP is an MCP server published by SNAPKITTYWEST in the Files category: [ARCHIVED] Custom MCP Server for MATHLIB5 VSCP Meta-Architecture - Bridges kernels and engines to AI agents with full system introspection — SSL v3.0.

The repository has 2 stars and 1 forks, with the last commit 4 months ago. Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/SNAPKITTYWEST/mathlib5-spec-mcp

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about Mathlib5 Spec MCP

Powered by Claude

Ask about Mathlib5 Spec MCP — answers draw on its README.

Security checks

6 checks have not been run yet.

Questions

About Mathlib5 Spec MCP

How do I install Mathlib5 Spec MCP?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Mathlib5 Spec MCP safe to use with an AI agent?

Its trust score is 20 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Mathlib5 Spec MCP still maintained?

Yes — the last commit was 4 months ago. The repository has 2 stars and 1 forks.