LLM tooling

An evidence-aware mathematics runtime for LLMs and a Python/MCP server. It combines exact, symbolic, formal, certified-interval, and numeric computation with typed outputs, trust labels, and provenance tracking.

Selfship is an AI operations tool for agentic applications that detects recurring failures in live traffic, diagnoses the cause, and opens an eval-backed GitHub pull request for review and merge. It works with any LLM/framework and includes a demo, pricing, docs, and FAQ.