viperproject/viper-ide

This is the main repository for the Viper IDE extension for VS Code.

GitHub repository with 13 stars and 12 forks.

Language: TypeScript

Topics: verification, viper, vscode-extension

Open provider repository

Latest metric snapshot

2026-06-05: 13 stars and 12 forks.

Similar repositories

  1. 1. moonrunnerkc/swarm-orchestrator

    Reviews pull requests for the shortcuts AI coding agents take to look done without being done: relaxed tests, swallowed errors, fake renames, 11 checks in all. Flags them for a human by default, or blocks the merge if you turn that on. Can also turn a goal into a checklist and only accept a patch once every check passes.

    GitHub repository with 95 stars and 4 forks.

    Trending score: 0.33; stars gained: +1; forks gained: +0.

    Language: TypeScript

    Topics: ai-agents, ai-orchestration, aibom, anthropic, cheat-detector, ci

  2. 2. qrauth-io/qrauth

    Identity verification platform — passwordless login, QR fraud protection, and physical access control. QR codes + passkeys + device trust under one SDK.

    GitHub repository with 13 stars and 0 forks.

    Trending score: 0.04; stars gained: +0; forks gained: +0.

    Language: TypeScript

    Topics: authentication, ecdsa, fraud-detection, qr-code, verification, webauthn

Trending in TypeScript

  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. can1357/oh-my-pi

    ⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more

    GitHub repository with 10,695 stars and 898 forks.

    Trending score: 4.82; stars gained: +560; forks gained: +62.

    Language: TypeScript

    Topics: ai-agent, ai-coding-agent, anthropic, bun, claude, cli

  3. 3. firecrawl/firecrawl

    The API to search, scrape, and interact with the web at scale. 🔥

    GitHub repository with 129,046 stars and 7,682 forks.

    Trending score: 4.80; stars gained: +954; forks gained: +49.

    Language: TypeScript

    Topics: ai, ai-agents, ai-crawler, ai-scraping, ai-search, crawler

  4. 4. ruvnet/ruflo

    🌊 The leading agent meta-harness for Claude. Deploy intelligent multi-agent swarms, coordinate autonomous workflows, and build conversational AI systems. Features adaptive memory, self-learning swarm intelligence, RAG integration, and native Claude Code / Codex Integration

    GitHub repository with 58,019 stars and 6,638 forks.

    Trending score: 4.76; stars gained: +401; forks gained: +52.

    Language: TypeScript

    Topics: claude-code, swarm, agentic-ai, agentic-framework, agentic-rag, agentic-workflow

  5. 5. heygen-com/hyperframes

    Write HTML. Render video. Built for agents.

    GitHub repository with 24,652 stars and 2,294 forks.

    Trending score: 4.72; stars gained: +732; forks gained: +60.

    Language: TypeScript

    Topics: ai, animation, ffmpeg, framework, gsap, html

  6. 6. koala73/worldmonitor

    Real-time global intelligence dashboard. AI-powered news aggregation, geopolitical monitoring, and infrastructure tracking in a unified situational awareness interface

    GitHub repository with 55,865 stars and 8,965 forks.

    Trending score: 4.71; stars gained: +332; forks gained: +54.

    Language: TypeScript

    Topics: ai, dashboard, geopolitics, monitoring, news, opensource

Trending topic: verification

  1. 1. 410979729/proofrail-hermes

    Runtime harness plugin for Hermes with evidence-first execution, verification-first workflows, and self-correcting AI agent behavior.

    GitHub repository with 10 stars and 3 forks.

    Trending score: 0.50; stars gained: +2; forks gained: +0.

    Language: Python

    Topics: agent-harness, ai-agent, autonomous-coding, claude-code-harness, codex-harness, developer-tools

  2. 2. replikativ/katzen

    Generalized algebraic theories and categorical programming for Clojure.

    GitHub repository with 12 stars and 0 forks.

    Trending score: 0.50; stars gained: +2; forks gained: +0.

    Language: Clojure

    Topics: algebraic-data-types, category-theory, clojure, verification

  3. 3. moonrunnerkc/swarm-orchestrator

    Reviews pull requests for the shortcuts AI coding agents take to look done without being done: relaxed tests, swallowed errors, fake renames, 11 checks in all. Flags them for a human by default, or blocks the merge if you turn that on. Can also turn a goal into a checklist and only accept a patch once every check passes.

    GitHub repository with 95 stars and 4 forks.

    Trending score: 0.33; stars gained: +1; forks gained: +0.

    Language: TypeScript

    Topics: ai-agents, ai-orchestration, aibom, anthropic, cheat-detector, ci

  4. 4. gookit/validate

    ⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库,使用简单,内置大部分常用验证、过滤器,支持自定义验证器、自定义消息、字段翻译。

    GitHub repository with 1,131 stars and 126 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Go

    Topics: filter, govalidator, validate, validation, validator, verification

  5. 5. aman00323/email-checker

    Provides email verification on the go.

    GitHub repository with 158 stars and 34 forks.

    Trending score: 0.04; stars gained: +0; forks gained: +0.

    Language: PHP

    Topics: php, laravel-framework, email, verify, email-validation, email-exists

  6. 6. qrauth-io/qrauth

    Identity verification platform — passwordless login, QR fraud protection, and physical access control. QR codes + passkeys + device trust under one SDK.

    GitHub repository with 13 stars and 0 forks.

    Trending score: 0.04; stars gained: +0; forks gained: +0.

    Language: TypeScript

    Topics: authentication, ecdsa, fraud-detection, qr-code, verification, webauthn