seL4/verification-manifest

Manifests for the collection of verification repositories

GitHub repository with 17 stars and 17 forks.

Open provider repository

Latest metric snapshot

2026-06-05: 17 stars and 17 forks.

Similar repositories

  1. 1. nexu-io/open-design

    🎨 Local-first, open-source Claude Design alternative. 🖥️ Native desktop app. ⚡ 259+ Skills · ✨ 142+ Design Systems 🖼️ Web · desktop · mobile prototypes · slides · images · videos · HyperFrames 📦 Sandboxed preview · HTML/PDF/PPTX/MP4 export 🤖 Claude Code / OpenClaw / Codex / Cursor / OpenCode / Qwen / Copilot / Hermes / Kimi & 17+ CLIs.

    GitHub repository with 59,355 stars and 6,685 forks.

    Trending score: 5.98; stars gained: +1,178; forks gained: +117.

    Language: TypeScript

    Topics: agent-skills, ai-agents, ai-design, byok, claude-code-for-design, claude-design

  2. 2. NousResearch/hermes-agent

    The agent that grows with you

    GitHub repository with 182,602 stars and 31,307 forks.

    Trending score: 5.95; stars gained: +1,867; forks gained: +361.

    Language: Python

    Topics: ai, ai-agent, ai-agents, anthropic, chatgpt, claude

  3. 3. affaan-m/ECC

    The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.

    GitHub repository with 208,023 stars and 31,921 forks.

    Trending score: 5.86; stars gained: +3,345; forks gained: +536.

    Language: JavaScript

    Topics: ai-agents, anthropic, claude, claude-code, developer-tools, llm

  4. 4. colbymchenry/codegraph

    Pre-indexed code knowledge graph for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local

    GitHub repository with 42,036 stars and 2,588 forks.

    Trending score: 5.83; stars gained: +2,953; forks gained: +188.

    Language: TypeScript

  5. 5. esengine/DeepSeek-Reasonix

    DeepSeek-native AI coding agent for your terminal. Engineered around prefix-cache stability — leave it running.

    GitHub repository with 18,428 stars and 1,092 forks.

    Trending score: 5.71; stars gained: +1,388; forks gained: +87.

    Language: Go

    Topics: agent, agent-framework, ai-agent, ai-coding, cli, coding-agent

  6. 6. chopratejas/headroom

    Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 60-95% fewer tokens, same answers. Library, proxy, MCP server.

    GitHub repository with 14,053 stars and 885 forks.

    Trending score: 5.69; stars gained: +2,829; forks gained: +175.

    Language: Python

    Topics: agent, ai, anthropic, compression, context-engineering, context-window