Migrated to https://git.sceptique.eu/Sceptique/Crirc
- irc-client
- crystal-lib
- irc
Repository Index
47,133 repositories indexed
97–100 of 100 · Most stars
A generic goal preprocessing tool for proof automation tactics in Coq
Local-first operating memory for AI coding agents - Claude Code, Codex, and any MCP client. Tracks decisions and their evolution. SQLite + on-device embeddings, no cloud.
- claude-code
- claude-code-plugins
- decision-tracking
- embeddings
A lightweight webhook action engine — execute custom commands, scripts, and forward webhooks based on YAML rules when webhook requests arrive.