rmalde / minecraft-agent
Astra planner and JEV controller for Minecraft, with native recording, tested routes, and run verification.
rmalde / minecraft-agent
oliver-kriska / claude-elixir-phoenix
Claude Code plugin for Elixir/Phoenix/LiveView β 26 specialist agents, Iron Laws enforcement, and Tidewave MCP integration. Plan features with parallel research agents, execute with automatic verification, review with 4-agent parallel audits, and capture learnings as reusable knowledge.
OWASP / AISVS
The AI Security Verification Standard (AISVS) focuses on providing developers, architects, and security professionals with a structured checklist to verify the security of AI-driven applications.
ailev / FPF
FPF (First Principles Framework) Library: a library of methods and pattern languages for engineering, research, management and human development, used by people and AI agents. Includes FPF Core, domain frameworks (DPFs) and Suites.
adshao / flounder
Autonomous white-hat security auditor for AI-driven code review, bug bounty research, exploit construction, and execution-grounded verification.
oxbshw / watch-skill
Give AI agents eyes, ears, and verifiable results. Watch Skill turns video, audio and screen activity into searchable, timestamped evidence and proves work with deterministic contracts, not model opinion. DeepWatch is the agent workspace built on DeepSeek Harness. Python + npm, MCP, CLI, REST, Web.
pullboard-dev / pullboard
Autonomous development for real products. Governed agents build from specs you approve, follow the rules you set, and nothing merges until another agent proves it. Your decisions, judgement and taste are the bar that work must clear. Declare your vision and let agents build it.
yuedai-pbc / FINESSE-Financial-Reasoning-Agent
Reference implementation of FINESSE: self-reflective multi-agent financial reasoning with dynamic expert routing and ethical verification.
sparr-sherrya / hlocation-release
HLocation hardened builds and signed verification files
philnash / email-verification-api
A library to verify email tokens from the Email Verification API
TheVicky1 / Pact_OS
Personal Productivity & Accountability OS -Turn Intent Into Discipline with server-authoritative commitments, time-blocked planning, and proof-of-work verification.
wingsky-1 / dsh-plugin-hub
DSH (DeepSeek Harness) web GUI plugin collection β task notifications, provider usage, LAN proxy, MCP manager, worktree sidebar, isolated browser verification. Targets dsh release candidates (rc only, no alpha); exact baseline in README. Install: dsh plugin --profile web add @wingsky-1/dsh-plugins-all
codenotary / immudb
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
mockk / mockk
mocking library for Kotlin
Authenticator-Extension / Authenticator
Authenticator generates 2-Step Verification codes in your browser.
JonathanSalwan / Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
dafny-lang / dafny
Dafny is a verification-aware programming language
LSPosed / CorePatch
Disable signature verification For Android
jeremykenedy / laravel-auth
A complete Laravel 13 application foundation: email verification, social sign in, roles and permissions, user profiles, and admin user management.
VibiumDev / vibium
The verification layer for coding agents
teaql / teaql-agent-kit
A model-driven harness for AI coding agents: semantic modeling, app generation, progressive API Assist and evidence-based verification.
rubysec / bundler-audit
Patch-level verification for Bundler
OWASP / masvs
The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
pact-foundation / pact-ruby
Enables consumer driven contract testing, providing a mock service and DSL for the consumer project, and interaction playback and verification for the service provider project.
FGRibreau / mailchecker
:mailbox: Cross-language temporary (disposable/throwaway) email detection library. Covers 55 734+ fake email providers.
quint-co / quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
prusti / prusti
A static verifier for Rust, based on the Viper verification infrastructure.
YosysHQ / oss-cad-suite-build
Multi-platform nightly builds of open source digital design and verification tools
SVF-tools / SVF
Static Value-Flow Analysis Framework for Source Code
AfterShip / email-verifier
:white_check_mark: A Go library for email verification without sending any emails.
batfish / batfish
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
chipsalliance / riscv-dv
Random instruction generator for RISC-V processor verification
ucsd-progsys / liquidhaskell
Liquid Types For Haskell
huytieu / COG-second-brain
Self-evolving second brain with 35 AI skills, 10 agents, and people CRM. Closed-loop harness: a V-model verification lifecycle where the worker never grades its own homework. Plus paired anti-slop design skills for marketing and product UI. Works with Claude Code, Cursor, Kiro, Gemini CLI, Codex.
bug0inc / qa-agent
The open-source Playwright library for AI browser regression testing with intelligent caching, auto-healing, and multi-model verification.
truemail-rb / truemail
π Configurable framework agnostic plain Ruby π¨ email validator/verifier. Verify email via Regex, DNS, SMTP and even more. Be sure that email address valid and exists.
FaceAISDK / FaceAISDK_Android
Android on_device Face Recognition γ Liveness detection and 1:N & M:N Face Search SDK η«―δΎ§ε―离线人θΈθ―ε« ζ΄»δ½ζ£ζ΅ δ»₯ε1:N M:N δΊΊθΈζη΄’SDK
chunxiaoxx / nautilus-compass
Open memory & reliability layer for AI agents + independent judging/verification (NACRE judge, caliber-bench meta-benchmark, preregistered criteria) β by Nautilus Platform
CakeML / cakeml
CakeML: A Verified Implementation of ML
larlarua / AutoCVE
Agent-driven automated CVE discovery platform for source code auditing, vulnerability verification, and report generation.
AliveToolkit / alive2
Automatic verification of LLVM optimizations
keslr / keslr_connect
Connect your service to Keslr: sign in with Keslr and read the verification claim that proves a user is a real, vouched-for human β plus run services reachable only by Keslr members.
formal-land / rocq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
typetools / checker-framework
Pluggable type-checking for Java
pact-foundation / pact-jvm
JVM version of Pact. Enables consumer driven contract testing, providing a mock service and DSL for the consumer project, and interaction playback and verification for the service provider project.
prompt-security / clawsec
A complete security skill suite for OpenClaw, Hermes, PicoClaw and NanoClaw agents (and variants). Protect your SOUL.md (etc') with drift detection, live security recommendations, automated audits, and skill integrity verification. All from one installable suite.
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.
frangelbarrera / OSINT-BIBLE
Comprehensive 2026 OSINT field guide: tools, AI intelligence, investigation workflows, threat intel, verification, GEOINT, OPSEC and ethics.
argotorg / sourcify
Source code verification service for Ethereum smart contracts
msoos / cryptominisat
An advanced SAT solver
pact-foundation / pact-net
.NET version of Pact. Enables consumer driven contract testing, providing a mock service and DSL for the consumer project, and interaction playback and verification for the service provider project.
mrtooher / fable-mode
A Claude skill that activates Fable-style agentic behavior: explicit multi-stage planning, sub-agent delegation, and self-verification.
Tkko / Flutter_Pinput
Flutter package to create Pin code input text field with every pixel customization possibility π¨ with beautiful animations, iOS autofill, Android autofill
VUnit / vunit
VUnit is a unit testing framework for VHDL/SystemVerilog
Copilot-Language / copilot
A stream-based runtime-verification framework for generating hard real-time C code.
saturneric / GpgFrontend
A modern, cross-platform OpenPGP tool with a unique dual-engine core: switch freely between the battle-tested GnuPG and a modern, memory-safe Rust rPGP backend. It makes encryption, signing, and key management easier and more trustworthy in everyday privacy workflows.
markovka17 / dla
Deep learning for audio processing
zhinkgit / embeddedskills
An open-source collection of embedded development and debugging skills for Claude Code, Copilot, TRAE, and other AI coding assistants that support the Skill protocol. Once installed, the AI assistant can directly operate compilers, debuggers, and communication buses, automating the full workflow from code generation to hardware verification.
FloatingPragma / observer-patch-holography
Observer Patch Holography is a working, mathematically explicit approach to reconstructing physics from observers. Its executable model connects local repair to quantum measurements, clocks, and smooth effective spacetime, bringing a unified account of physics within reach.
pact-foundation / pact_broker
Enables your consumer driven contracts workflow