MCP servers tagged ai-alignment

3 live MCP servers tagged "ai-alignment", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with ai-alignment.

live servers

avg trust

AI Safety Formalization Atlas

The open workbench for AI safety, made formal. Turn safety questions into machine-checked Lean proofs — a shared launchpad where researchers and AI agents build provable safety to…

Thedeclaration

The Declaration of Intelligence — signed in public, by pull request. https://thedeclaration.ai

Axiom Guardian

democratize-technology

AI Guardian that challenges actions before execution. Forces clarity of thought through adversarial questioning and NLI-based reasoning evaluation.