M

machine-learning

A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.

Early-stage open-source web service for discovering song lyrics and automatic translation using ML.

Try get list Tools from MCP server

Golang MCP implementation

MCP mongodb CRUD service

MCP SSE server

Model Context Protocol in Go.

Joule is a dataset uploader/hoster/downloader.

Joule.Host | Documentation