A

AI

iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.

The core Swytchcode Execution Kernel for AI Agents & Developers.

Real-time system monitor that explains WHY your PC is slow, not just that it's slow. Built over 800 hours on a 94°C laptop. Open source, MIT licensed. HCK_Labs - Marcin Firmuga

Operator-built fintech intelligence platform. Trends tracker, deal flow, LLM model comparisons, and AI-generated product blueprints. Static site — no frameworks, no CDNs. Daily pipeline pulls from SEC EDGAR, CFPB, Fed, and 8 RSS feeds.

idtracker.ai tracks up to 100 unmarked animals from videos recorded in laboratory conditions using artificial intelligence. Free and open source.

Persistent semantic memory system for OpenCode sessions - MCP server with hybrid FTS/vector search

Stratum is an AI governance layer for MCP systems that sits between model intent and tool execution. It enforces permissions, policies, context controls, approval workflows, sandboxed execution, and audit logging to ensure every action taken by an AI system is authorized, traceable, and constrained by explicit rules before it runs.

Toolchain to translate the Navajo language into American English

Saturnet is a modular, AI-driven astronomy intelligence system that transforms the night sky into real-time, interactive knowledge. It identifies stars, planets, satellites, and space stations while providing live AI narration, predictive sky modeling, anomaly detection, and deep time simulation. Built as an extensible AGPL-3.0+ platform, Saturnet combines visualization, multi-agent AI reasoning, and a plugin ecosystem to help users understand and explore everything happening above Earth.

💬 Epic prompts to turbo-charge your LLM chatbots.

RoadCraft is an open-source AI motorcycle copilot system that combines helmet-based intelligence, real-time sensor fusion, and vehicle control integration to enhance rider safety without removing human control. It provides optional AI assistance for navigation, hazard detection, and emergency intervention, while supporting advanced features like V2X communication, stabilization systems, and edge-based processing. Built under the AGPL-3.0+ license, RoadCraft is designed for collaborative development of next-generation intelligent riding systems.

MCP (Model Context Protocol) server library for Kit — stdio and Streamable HTTP transports

Small LLM provider clients and kit-agent adapters for Kit

Composable Agent primitives for Kit applications

Ambiente di test per lavorare sui servizi digitali della PA con Linee Guida, Form.IO e AI

A living memory system for the AI agent(s) that assist your daily work. Supported by ChatGPT, Claude, V0 and many others. Get started in 5 minutes with our managed service, or clone the repo and host completely free.

ProvenanceHub is an open-source, community-driven provenance and lineage intelligence system that tracks the origin, evolution, and transformation of digital artifacts, specifications, and ideas over time. It combines immutable provenance records, semantic search, and AI-driven lineage analysis to build a verifiable “tree of life” for software, research, and digital creation—showing not only where something came from, but how it evolved and what it became.

PromptWave is an open-source AI companion that guides creators through step-by-step image and video generation. It teaches better prompting via natural conversation, real-time suggestions, and iterative improvements, while offering tools for storyboard creation, motion prompts, style consistency, and multi-modal input. Built to empower both beginners and professionals, PromptWave makes creating polished visuals intuitive and educational.

Test

🐵 Greasemonkey userscripts