-
-
hermes-agent Public
Forked from NousResearch/hermes-agentThe agent that grows with you
Python MIT License UpdatedApr 19, 2026 -
-
-
-
-
-
-
-
-
dstack-tunnel Public
Temporary reverse proxy for dstack-webhost (tee-daemon)
TypeScript UpdatedApr 5, 2026 -
-
-
-
-
login-with-anything Public
Forked from Account-Link/login-with-anythingLog in with Anything — authenticate via rhythm on any web service, attested by GitHub Actions
JavaScript UpdatedMar 31, 2026 -
-
OpenRA-RL Public
Forked from yxc20089/OpenRA-RLOpen Framework for AI Agents to play Red Alert through Reinforcement Learning
Python GNU General Public License v3.0 UpdatedMar 29, 2026 -
ads-free-theorem Public
Formalizing ADS security via internal parametricity (Cubical Agda + agda-bridges)
Agda UpdatedMar 8, 2026 -
-
oauth3-openclaw Public
Human-approved secret management and execution sandbox for OpenClaw agents
-
devproof-apps-guide Public
guide for making dstack apps that reach "stage 1 devproof"
-
-
openclaw Public
Forked from HashWarlock/openclawYour own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
TypeScript MIT License UpdatedFeb 12, 2026 -
self-improving-repo Public
A repo that reviews its own PRs and proposes improvements to itself 🐍
1 UpdatedFeb 7, 2026 -
-
skill-verifier Public
Verify agent skills in isolated Docker containers with TEE attestations
JavaScript UpdatedFeb 1, 2026 -
inspection-certificates-demo Public
Live examples of Inspection Certificates - verifiable proof for skills, data, and credentials
UpdatedFeb 1, 2026 -
-
{{ message }}