A local verification receipt for AI coding agents. Contribute to yebiguo/ProofRun development by creating an account on GitHub.
A local-first CLI and MCP server that turns selected digital sources into a searchable graph for the AI agent you already use.
Nikolay Samokhvalov has developed PGSimCity, an open-source educational tool that visualises PostgreSQL mechanics as a 3D spatial simulation in the browser. It assists backend developers and site reliability engineers in understanding SQL and the dynamics of …
A thin wrapper to distribute https://github.com/openai/codex via pip.
Open-source antivirus and runtime protection for AI agents, tools, MCP servers, plugins, skills, and package installs.
