F

formal-verification

Cognitive exoskeleton for AI agents and human researchers — by Cognitive Functors. Turn questions into verified constructive & destructive insights: breakthrough scientific-engineering hypotheses checked across 47 literature sources, 38 simulation bridges, and 9 formal verifiers — then gated proposals, dissertations, BibTeX, and proofs you can publish. Not a chatbot — a research pipeline. pip install c4reqber · blast solve · Z₃³ · 21 MCP · AGPL-3.0.

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.

This is the central "hub" project for the Mutually Assured Accountability (MAA) Framework. This repository contains the master README, which provides the unified vision, architecture, and links to all component projects.