danepps / legal-research-skills
Claude Code and Codex CLI skills for legal scholarship: verified research memos, cite-checking, proofreading, Zotero library building, SCOTUS case prep
danepps / legal-research-skills
OthmanAdi / planning-with-files
Persistent file-based planning for AI coding agents and long-running tasks. Crash-proof markdown plans, session recovery after /clear and compaction, per-turn re-injection against context rot, deterministic completion gate. Manus-style. Install from npm, the Claude Code plugin marketplace, or npx skills. Codex, Cursor, OpenCode, 60+ agents.
Chia-Network / chia-blockchain
Chia blockchain python implementation (full node, farmer, harvester, timelord, and wallet)
0xSteph / pentest-ai
Open-source AI pentester that proves every finding. Machine oracles re-run each exploit; verified bugs ship a proof capsule you can replay yourself.
0xMarcio / pocindex
Search public CVE proof-of-concept exploits from GitHub, Nuclei, ExploitDB, Metasploit and Vulhub, with CVSS, EPSS and CISA KEV context.
michaelshimeles / skills
Agent skills and an AGENTS.md workflow template — isolate in worktrees, build to a service layer, prove with evidence, ship with before/after proof and Greptile review loops. For Claude Code, Cursor, and Codex.
MaxHu-xuan / artifactproof
Verify that the PowerPoint you are about to deliver is exactly the PPTX that passed QA—locally, offline, and with tamper-evident evidence.
brayonpi / constellation-gemini
Proof carrying orbital mission control with Gemini, HexStellar Cortex, and independent verification
opaxial / CVE-2026-9830
CVE-2026-9830 Proof of Concept
jrz97619761 / test-model-thing
A small proof-of-concept language model (not an LLM) that aims to incorporate latent-space prediction, internal state using recurrent trace units, and byte-by-byte output, built with MLX.
morluto / jacobian
Composable mathematics tools for agents
CrocSwap / integer-mult-bounds
Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.
dengyier / OpenWorkProof
Open protocol for AI agent work contracts and verifiable execution — authorization, evidence, and acceptance for multi-agent systems
lotchuazzz-crypto / papergraph-mcp
PaperGraph MCP turns math papers into evidence-grounded reading maps for AI agents: extract results, trace proof evidence, plan reading order, and review external dependencies without guessing.
dagoSte / squadra
Coordinate Claude, Codex and Cursor windows with shared tasks, acknowledgements, prechecks, parallel tests, source-bound proofs and independent review. Built-in skills recall lessons, simplify code and forecast work. Track progress, decisions and evidence in a bilingual local dashboard, with MCP plugins. Browse skills and verified security audits.
floflo777 / open-crypto-puzzles
Unsolved crypto puzzles worth ~10 BTC, ~12 ETH and ~1,900 AR still on-chain: escrow addresses, author clues, and my research on each. A few solved, with payout proofs.
udaysharmadev / Not-Ai
Not Ai isn’t just about bypassing AI detectors. It puts good writing first, creating clear, honest prose shaped by human writing standards. It’s perfect for college and school projects, LinkedIn/X posts, emails, factual articles, personal essays, social media posts, and technical documentation, especially GitHub READMEs
oil-oil / oil-subtitle
Subtitle skill for Claude Code & Codex: transcribe, proofread and burn subtitles. 帮你给视频加中文字幕。
lordx64 / pentestkit
Autonomous multi-agent pentest framework — plans, exploits, verifies (proof-required), CVSS-scores and writes client-ready reports. 104/104 (100%) on the XBOW validation benchmarks, powered by Kimi K3.
professorpalmer / mirai-s-ada
Mirai S (Qwen3.8-27B-S trellis GGUF) on a 12 GB RTX 4070: 262k q8_0 tiered cache, MTP drafting at every depth, harness-proofing, the layer; receipts.
zack0x01 / XSS.pdf-Credential-Harvesting-PDF
A proof-of-concept PDF file designed for authorized security testing of PDF upload functionality and PDF viewer behavior, including XSS and credential-harvesting scenarios.
ram0verflow / ram0verflow
A small Bitcoin-like chain whose canonical ledger is my README. Proof of work is subset-sum, not hashing.
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.
d4ncboz / technocore
Decentralized Ed25519 Cryptographic Identity, Signed Message Bus, and Proof-of-Contribution Framework for AI Agents on Technocore ( Ecosystem)
huranth / lingling
Runs opencode through rotating Tor exit lanes so free-tier rate limits and stalls stay invisible -- with live per-request proof of the lane and exit IP behind every call.
nasqret / labyrinth-exploration
An agent skill for Codex, Claude Code and other clients: open-ended research as the exploration of a labyrinth, with a map of what is proved, refuted, conjectured and still dark, proof tiers, independent referees and campaigns of agents.
ressl / cve-2026-87902-poc
PoC for CVE-2026-87902 — unauthenticated path traversal in WordPress page-template resolution (local PHP inclusion, conditional RCE) with a pinned vulnerable lab
kyle41111 / BinarySoap
A python proof of concept tool to assist in your payloads classification against EDR/AV's machine learning models
QLNI / SHADOW-50M-Instruct
SHADOW 50M Instruct: a proof of concept. 44M ternary parameters, exact circuits inside the model, memory on disk, 19.8 MB, offline on a CPU.
sherifican / Agent-FleetOps
Operational tooling & discipline for multi-agent AI engineering fleets — mutation-proven guards, a Textual terminal monitor, generalized skills, and specs. Every check ships with proof it can fail.
fornhere / orvant
Your coding agent says "done". Orvant asks for proof. A skill for Claude Code, Codex and other file-capable agents, plus a Python engine that clarifies the goal, prepares an independent acceptance oracle and accepts work only through an independent gate. Engine workers currently run on Codex CLI. Open beta.
StonkGuy / eac-arm64-emulation-poc
Patches to FEX-Emu that make aarch64 emulation faithful enough to run an x86-64 EAC game under Proton. Not affiliated.
open-gsd / gsd-path
Disk-backed pipeline that takes AI coding agents from raw idea to shipped code — gated phases, orchestrated subagent builds, and crash-proof state, from a single milestone to a full multi-milestone program.
edvardgrishin27 / frameproof
Агент смотрит видео без слепых зон и доказывает тайм-кодом, что видел. Офлайн, без API-ключей.
tc4dy / CVE-2026-54121-PoC-Exploit
CVE-2026-54121 - CertiGhost AD CS Multi-Exploit Framework | Rogue DC + LDAP spoofing, certificate abuse, PKINIT hash extraction, auto DCSync. Safe Checker + full exploit, multi-threaded mass scan, Shodan integration, JSON/CSV/JSONL output. CVSS 8.8 High. Use Ethically, Stay Legal :v