🙋♀️ The meta introspector is a continuation of a long term research project that started with the idea of using the gcc compiler to extract knowledge about your code as it is being compiled. It has morphed into a meta meme. Currently we are working on zero knowledge proofs of introspection, self modifying build systems, and using grants and tokens to implement win win partnerships with other projects.
meta-introspector
Pinned Loading
Repositories
Showing 10 of 618 repositories
- lean-action Public Forked from leanprover/lean-action
GitHub action for standard CI in Lean projects
meta-introspector/lean-action’s past year of commit activity - crucible Public Forked from GaloisInc/crucible
Crucible is a library for symbolic simulation of imperative programs
meta-introspector/crucible’s past year of commit activity - SymmetryBook-Unimath Public Forked from UniMath/SymmetryBook
This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
meta-introspector/SymmetryBook-Unimath’s past year of commit activity - goose Public Forked from block/goose
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
meta-introspector/goose’s past year of commit activity - modelcontextprotocol Public Forked from modelcontextprotocol/modelcontextprotocol
Specification and documentation for the Model Context Protocol
meta-introspector/modelcontextprotocol’s past year of commit activity - leanblueprint Public Forked from PatrickMassot/leanblueprint
plasTeX plugin to build formalization blueprints.
meta-introspector/leanblueprint’s past year of commit activity