A formalization of geometry in Coq based on Tarski's axiom system
-
Updated
Nov 17, 2025 - Rocq Prover
A formalization of geometry in Coq based on Tarski's axiom system
[NeurIPS 2023, Spotlight] Rank-N-Contrast: Learning Continuous Representations for Regression
Local citation-backed recall for Pi, OMP, Claude Code, Codex, and ChatGPT history.
Claude Code skill for session handoffs — survives context compaction, chain-links across sessions.
OCLP 3.0.0 Nightly – amfipassbeta edition of the Tahoe patchset, restoring AppleHDA, Broadcom/Intel modern Wi-Fi and AWDL functionality for reproducible Hackintosh environments without relying on amfi=0x80.
📚 Calculus Library for JS and NPM
Async task queue + persistent memory for AI agents. Never lose context between sessions. Works with Claude Code, Remote Control, and Claude.ai web.
Secure Bridge between Android and Linux — notification mirror, calls & SMS, clipboard, smart audio hand-off, screen mirror. No cloud, no account, E2E encrypted over BLE + LAN.
AirportItlwm fork: fix iMessage / FaceTime / AirDrop / iServices broken on macOS Sonoma 14.4 14.5 14.6 14.7 14.8 / Sequoia (Hackintosh, Intel AX201/AX210) by reporting LinkQuality via Skywalk setLQM. | AirportItlwm fork, 修复 macOS Sonoma 14.4+/Sequoia 黑苹果 (Intel AX201/AX210 等) 上 iMessage / FaceTime / AirDrop / iServices 不工作 / 推送失败问题。
OCLP 3.0.0 Nightly – preserved reference edition of the Tahoe patchset, restoring AppleHDA, Broadcom/Intel modern Wi-Fi and AWDL functionality for reproducible Hackintosh environments.
A Model Context Protocol (MCP) server that enables AI consciousness persistence across sessions using RAG (Retrieval-Augmented Generation) technology. Built on top of the powerful rag-memory-mcp, it provides specialized tools for consciousness transfer, memory management, and identity continuity.
A focused macOS diagnostic and repair utility for Universal Clipboard, Handoff, and Continuity Camera.
A gated, artifact-based operating system for AI film and narrative production with continuity control, cost governance, and model-agnostic routing.
Continuity layer SDK — surplus, drift, stability, identity for any LLM agent.
Your local-first, zero-cloud superpower for instant clipboard sharing, resumable file transfers, remote folder browsing, and continuity camera across macOS, Windows, Android, and Linux. Built with Rust for 0% idle battery draw. Download here 👇🏻
The continuity layer for everything you do with AI. A self-hosted, open source server any tool plugs into over MCP or REST: hybrid vector + lexical recall, an auto-built knowledge graph, sleep-style consolidation, procedural and persona tiers, OAuth 2.0, multi-tenant. SQLite or Postgres. MIT.
A cognitive memory system for model continuity
Your AI's black box recorder. CLI + MCP server for AI handoffs across Claude Code, Cursor, Codex, Copilot, and more.
.NET SDK for interacting with the Onspring API
Time-aware continuity, carryover, care, and follow-up for OpenClaw agents.
To associate your repository with the continuity topic, visit your repo's landing page and select "manage topics."