3 packages found
Upkeep — an AI audit crew for your repo. Catches docs/spec/asset drift with evidence; output-only. Claude Code plugin/sk
LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)
rUvOS — the agentic operating system. A single static Rust binary that runs as an MCP server, giving Claude Code persist