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.

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.