SVF-tools / SVF

Static Value-Flow Analysis Framework for Source Code

asklokesh / loki-mode

Autonomous software factory. Give it a GitHub issue, a spec or a one-line task; get back a pull request with a signed receipt anyone can re-check offline. Runs on your machine with your own keys: Claude, Codex, OpenCode.

argotorg / sourcify

Source code verification service for Ethereum smart contracts

Enderfga / claw-orchestrator

Run Claude Code, Codex, Antigravity, Grok Build and OpenCode behind one runtime, and a run only counts as done when checks it didn't write pass. Cross-engine fan-out, councils, session handoff, spend caps, MCP server, ACP agent.