Lore-Hex / token-exchange-neocloud-in-a-box
Open-source confidential GPU inference cloud in a box: Intel TDX + NVIDIA confidential-computing nodes for DeepSeek-V4.1-Flash and GLM-5.3, verifiable and listed on TrustedRouter
Lore-Hex / token-exchange-neocloud-in-a-box
open-multi-agent / open-multi-agent
Self-hosted TypeScript agent runtime with durable approvals and verifiable run records. Own it, approve it, audit it.
Wangnov / codex-app-mirror
原样镜像官方 Codex 桌面应用:每 15 分钟探测、SHA256 可校验、国内直连下载、 Mac 可增量更新 | Verbatim, verifiable mirror of the official Codex desktop app — probed every 15 min, with a Sparkle delta-update feed.
google / trillian
A transparent, highly scalable and cryptographically verifiable data store.
brayonpi / hexstellar
Turn any AI agent into a computational researcher. HexStellar Cortex delivers software-accelerated optimization, quantum computing, scientific computing, decision intelligence, and verifiable execution through a Python CLI and API—with certainty labels, verification receipts, examples, and a free sandbox. Start instantly: pip install hexstellar
sipyourdrink-ltd / bernstein
The open-source governance layer for AI agents: write the rules declaratively, Bernstein enforces them and produces the verifiable, replayable record. Free, Apache-2.0. https://bernstein.run
beita6969 / ScienceClaw
Verifiable program-level self-evolution for AI-for-Science agents: Skills and typed Operators grow from replay-verified executions.
cabloy / cabloy
Cabloy is a Node.js fullstack framework for AI vibe coding, with AI Spec-Driven Development guiding work from confirmed specs to verifiable delivery.
pipelab-org / pipelock
Open-source AI agent firewall for MCP security and agent egress. Scans mediated HTTP, MCP, A2A, and WebSocket traffic for exfiltration, SSRF, and prompt injection, and emits mediator-signed action receipts: verifiable audit evidence from outside the agent.
indranilbanerjee / digital-marketing-pro
An open-source AI based digital marketing operating system for strategy, SEO, AEO/GEO, paid media, content, CRM, and analytics - grounded in brand context, human approval, and verifiable outputs. Best for Brands, Agencies and one person campanies.
microsoft / Spartan
Spartan: High-speed zkSNARKs without trusted setup
VibeTensor / attestix
AI agent identity, signed credentials, delegated authority and portable governance evidence. Python core and offline verifier SDKs.
mereyabdenbekuly-ctrl / clodex-ide
Local-first, zero-trust agentic IDE for verifiable autonomous software development.
bastani-inc / atomic
The verifiable coding agent runtime. Define your coding agent's process in natural language with stages, checks, and approval gates instead of hoping it follows your instructions. Primitives for verifiable software factories.
Purewhiter / mobilegym
[EMNLP 2026] MobileGym: A Verifiable and Highly Parallel Simulation Platform for Mobile GUI Agent Research · 浏览器里运行的安卓模拟器 · Browser-hosted Android Simulator · Verifiable Evaluation · Scalable Online RL Training
huggingface / Repo2RLEnv
Turn any repository into verifiable RL environments for coding agents - Harbor tasks you can train on, evaluate and share on the Hugging Face Hub
manojmallick / sigmap
~97% token reduction for AI coding sessions — zero deps, 38 languages, MCP server
emiliaprotocol / emilia-protocol
Authority control plane for autonomous work. EMILIA Gate enforces finite customer-owned mandates at protected executor boundaries; the open protocol keeps evidence verifiable.
jagmarques / asqav-sdk
Python and TypeScript SDKs for verifiable evidence of AI agent actions. Signed receipts, policy enforcement, audit trails. Works with LangChain, CrewAI, MCP.
decentralized-identity / veramo
A JavaScript Framework for Verifiable Data
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.
mratsim / constantine
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
znxzsy / VeriInk
Verifiable handwriting synthesis for failure-driven multimodal training and regression.
dengyier / OpenWorkProof
Open protocol for AI agent work contracts and verifiable execution — authorization, evidence, and acceptance for multi-agent systems
Frankie-Xu / threadport
Portable, verifiable work state for coding agents
PerryLink / dsh-research-report
Verifiable research-report engine for DeepSeek Harness: content-addressed evidence ledger (claim-snapshot binding, tamper-evident) plus versioned sealed reports with per-claim verification verdicts and a manifest-sealed directory.
NuvexNetwork / nuvex
Solana-native verifiable compute and oracle protocol. Programs accept a job, an input, constraints, and a callback. Randomness is the first job. An active node can fulfill a VRF request with an ECVRF proof after it locks the configured stake and sends a heartbeat. Fees still do not move.
Simreal-AI / future-prediction-bench
[Public alpha] Probability forecasting protocols, delayed-reward agent rollouts, and verifiable real-world task environments.
tetrionlabs / mathema
Claim-Driven Development: turn software intent into verifiable evidence.
YINGLINGH / limioryn
Edge-cloud Multi-Agent execution framework for embodied intelligence, connecting AI agents to real devices with verifiable actuation and entropy-bounded recovery.
Stellar-hush / hush
Open-source working beta for private email on Stellar: encrypted messages, sender-controlled inbox policies, optional postage, and verifiable delivery receipts.
StoKou / FACET-Terminal
FACET synthesizes coherent and verifiable terminal tasks from reusable agent skills by preserving source intent and grounding all artifacts in a shared executable state.
microsoft / AesCode
Aesthetic code generation with decoupled cross-modal rewards: turning prompts into editable, verifiable HTML/CSS infographics, with image generators as aesthetic guidance.
openpactprotocol / openpactprotocol
PACT is an open protocol for personal agents to interact with businesses’ agents under explicit, verifiable user permissions.
QwenLM / RecreationWorld
RecreationWorld: Scalable and Verifiable Environments for Hybrid Computer-Use Agents
apromisedland / VLCoT
VLCoT research implementation: stage-verifiable latent reasoning, observation-based verification, and dependency-aware local repair.
DAOZHENREN / trace2task
Turn successful workflows into resettable, verifiable benchmarks for AI agents.
regrevia / Revia
Agent-native executable language for AI-native development: Agents build programs; humans govern verifiable semantic graphs.
sangelege / forestfix
Verifiable multi-agent patch evaluation infrastructure
limingrui679-design / CascadeLens
Python-first systemic-risk research software for evidence-graded, bitemporal dependency graphs. Import JSON, CSV, GraphML, or NetworkX; run bounded shocks, compare constrained interventions and sensitivity surfaces, and export recomputation-verifiable RiskPacks. Includes 16 scenario-only cases and 11 connector contracts.
etherscan / skills
Agent Skills for working with Etherscan and on-chain data. These skills let AI agents turn raw Etherscan API responses into structured, verifiable output — every address, amount, and transaction hash comes from a live API call, never invented.
Continuum-AI-Corp / OrcaPromptVault
The open archive of how AI agents actually work. A versioned, verifiable archive of system prompts, developer instructions, tool schemas and agent harnesses powering today's AI products. Captured with OrcaReplay.
heretic-tech / apostate
Apostate is a 100% free, fully open-source anti-detect browser built on Chromium. Defeats every major commercial fingerprint detector with zero paywalls and fully verifiable GitHub Actions builds. 153 patches. FPJS Pro: suspect score 0. BrowserScan: 100% authentic. deviceandbrowserinfo.com: human. bot.sannysoft.com: all green. With proof.
hhh7666 / receipt-protocol
Minimal Ed25519-signed activity receipts for verifiable AI agents — self-attested, offline-verifiable, no blockchain.
sai-7i / daxue-zhidao
A guided-learning skill that teaches one verifiable unit at a time and tracks course progress. 一个循序渐进的学习 Skill：每次教授并验证一个小单元，持续记录课程进度。
g1304458637-afk / company-operating-twin
Enter a company name. AI builds a traceable, computable, verifiable operating model — Generic Company Operating Twin (A-share + US)
Chuf-H / jev-tree
Jev-native probability tree and graph runtime for verifiable multi-step decision making.
hzx122 / DEFT-RLVR
Deferred Exposure of Future Trajectories for Verifiable Reasoning in Autonomous Driving VLMs
Dryxio / samp-source
Rebuilding SA-MP 0.3.7 R5 from source, byte for byte. AI-assisted reverse engineering with verifiable binary matches.
Video-Reason / VBVR-Pro
VBVR-Pro: A Scalable and Verifiable Suite for Native Visual Reasoning
rebase-energy / hillclimb
Hillclimbing on verifiable rewards. Use Claude Code and Codex to autonomously search for python programs that optimize a score you define. 🏔️
sammargolis / DrugTargetWorld
DrugTargetWorld: a synthetic biobank for training and benchmarking AI scientists on end-to-end drug target discovery. Paper: arXiv:2610.09558
Coder-s-OG-s / Trajectory-IR
Portable, hash-verifiable intermediate representation for agent execution trajectories (seals, effects, .tir packages) on top of durable backends like Temporal and DBOS.
ruvnet / ai-text-watermark
Invisible, key-verifiable watermarks for AI/LLM-generated text — SynthID-Text-style, in Rust + WebAssembly (Node + browser). Live playground included.
LeapLabTHU / OPDVR
Official repository for OPDVR: On-policy Distillation with Verifiable Reward.
shellharbor / backfort
Backfort is a secure Linux backup and disaster recovery tool for files and Docker Compose. Create encrypted, compressed, verifiable backups with age, GPG, Minisign, rclone, S3-compatible storage, retention policies, database dumps, atomic publishing, safe restore, watchdog checks, and instant recovery workflows for servers.
yankywilson / kyber-ransomware-analysis
Full teardown of the Kyber ransomware Windows encryptor. Six corrections to public reporting, each independently verifiable. Includes analysis tooling, detection content, and incident response guidance.
Compliatory / Compliatory
Compliatory MCP — Governed access to licensed standards for AI agents through bounded, versioned and verifiable context.
Dicklesworthstone / franken_accounting
Universal, evidence-native double-entry accounting system of record in Rust on FrankenGraphDB: bitemporal, append-only with first-class restatements, exact money algebra, counterfactual branches, in-database forensic analytics, outsider-verifiable proofs, and an agent-first CLI/MCP surface for CPAs, regulators, litigators, and investigators.