Skip to main content
ClaudeWave
ES, Spanish
tetrionlabs / MCP Servers

mathema

Claim-Driven Development: turn software intent into verifiable evidence.

  • 208 estrellas
  • 0 forks
  • 5 issues abiertos
  • Lenguaje: Python
  • Licencia: NOASSERTION
  • actualizado

Instalación

local · uvx (python)
Claude Code CLI
claude mcp add mathema -- uvx mathema
  1. Run the command above in your terminal (Claude Code), or paste the JSON config into claude_desktop_config.json (Claude Desktop).
  2. Replace any <placeholder> values with your API keys or paths.
  3. Restart Claude. The MCP server and its tools appear automatically.

Package name inferred from the repository name. Verify it exists on PyPI, or clone https://github.com/tetrionlabs/mathema and follow its README.

README

Resumen de MCP Servers

README no disponible. Visita el repo en GitHub para la documentación completa.
Topics
ai-assisted-developmentclaim-driven-developmentcode-reviewdesign-by-contractmcp-serverproperty-based-testingsoftware-verificationspec-driven-developmentsystem-0-enginetest-driven-development
Preguntas frecuentes

Lo que la gente pregunta sobre mathema

¿Qué es tetrionlabs/mathema?

tetrionlabs/mathema es mcp servers para el ecosistema de Claude AI. Claim-Driven Development: turn software intent into verifiable evidence. Tiene 208 estrellas en GitHub y su última actualización registrada es del 2026-10-20.

¿Cómo se instala mathema?

Puedes instalar mathema clonando el repositorio (https://github.com/tetrionlabs/mathema) o siguiendo las instrucciones del README en GitHub. ClaudeWave también te ofrece bloques de instalación rápida en esta misma página.

¿Es seguro usar tetrionlabs/mathema?

Nuestro agente de seguridad ha analizado tetrionlabs/mathema y le ha asignado un Trust Score de 72/100 (tier: OK). Revisa el desglose completo de comprobaciones superadas y flags en esta página.

¿Quién mantiene tetrionlabs/mathema?

tetrionlabs/mathema es mantenido por tetrionlabs. La última actividad registrada en GitHub es del 2026-10-20, con 5 issues abiertos.

¿Hay alternativas a mathema?

Sí. En ClaudeWave puedes explorar mcp servers similares en /categories/mcp, ordenados por popularidad o actividad reciente.