🎨 Toolkit for generating publication-quality plots for Cell, Nature and Science journals

Export a ChatGPT account (incl. business/Team) to a local searchable offline archive - conversations, files, and a single-file HTML viewer

Demonstrandum: certificates, checkers, and formal proofs accompanying the publications

Public site for Demonstrandum — machine-verified mathematics

Hierarchical agent loops with recursive self-organization.

Self-hosted deployment platform

Self-hosted deployment platform

Free, open-source web app for learning about ontologies and Microsoft Fabric IQ. Explore a catalogue of pre-built ontologies, design your own visually, export as RDF/XML, and share interactive diag…

The open-source CapCut alternative

Skills for Design Engineers.

Lean 4 programming language and theorem prover

Fully automatic censorship removal for language models

Archive of churchofreality.org (1999-2018) — Marc Perkel's Church of Reality, downloaded from the Wayback Machine after the domain was taken over by spammers following his death in 2018.

autonomous red teaming platform; multi-agent offensive-security meta-harness

autonomous red teaming platform; multi-agent offensive-security meta-harness

Native desktop automation CLI for AI agents. Control any application through OS accessibility trees with structured JSON output and deterministic element refs.

Own your AI. The native macOS harness for AI agents -- any model, persistent memory, autonomous execution, cryptographic identity. Built in Swift. Fully offline. Open source.

Sudoless Apple Silicon system monitor (native SwiftUI GUI) with ANE / Media Engine / memory-bandwidth tracking

Wasm interpreter in lean, designed for reasoning

Submission pipeline and results store for the lean-eval benchmark (https://github.com/leanprover/lean-eval)

LEAKED SYSTEM PROMPTS FOR CHATGPT, CLAUDE, GEMINI, GROK, PERPLEXITY, CURSOR, LOVABLE, REPLIT, AND MORE! - AI SYSTEMS TRANSPARENCY FOR ALL! 👐

Unofficial SDK for Codex agents controlling visible ChatGPT web sessions

Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing…

AI agent skills created by me: Dan McAteer

A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.

Repository for Neuromatch Academy 2020