tourmind-com / Tourmind-Booking-Skills
AI agent skills for end-to-end hotel and flight bookingβcompare live hotel rates across leading OTAs and suppliers, search and verify real-time airfares worldwide, book stays and flights, and manage reservations, hotel cancellations, and payments via the TourMind API.
1105216375-alt / resimind
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
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.
2akouwu / reverify
Stop your AI from making things up β it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets. Reverse engineering is the proving ground. MCP server + CLI.
OWASP / mastg
The OWASP Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes technical processes for verifying the OWASP Mobile Security Weakness Enumeration (MASWE) weaknesses, which are in alignment with the OWASP MASVS.
NaiveAI-Labs / NaiveRT
NaiveRT: a self-contained TP8 inference runtime for the Naive N series on eight Blackwell GPUs with UMMA support. One persistent CUDA graph per rank runs draft, eight-row verify, top-p sampling and cache commit with no host in the loop: 1,700 tokens/s at batch size 1, one-second peaks above 2,000.
flypythoncom / python
Open-source Python challenge courses β your AI coding agent teaches, verify.py decides when you're done.
certifi / python-certifi
(Python Distribution) A carefully curated collection of Root Certificates for validating the trustworthiness of SSL certificates while verifying the identity of TLS hosts.
joeseesun / qiaomu-seo
Audit, diagnose, research, plan, implement, experiment on, and verify website SEO across Google, Bing, and AI-search surfaces. Use for technical SEO,
Hebbian-Robotics / hflow
SDK for robotics teams to verify the quality of their data used for AI model training.
roy-tong / AgentMeasure
Inspect Codex / Claude logs, verify metering samples and re-count supported billing exports. Free local tools; bounded $10 diagnosis and $20 QA.
Da7-Tech / SureForge
Agent Skill for complex work: research before asking, ask before planning, plan before building, verify before delivering, independent review before calling it done. Plain text, no runtime.
chengyi-ai / douyin-image-post-scheduler
Codex Skill for batching, scheduling, and verifying Douyin image posts.
chrisyangsong / citegate
Citation integrity as a CI gate: verify BibTeX references against Crossref & OpenAlex, catch hallucinated citations, get alerted when a cited paper is retracted.
StatXzy7 / worktree-import-guard
Verify that your tests actually executed the source tree you think they did.
HannaHKaichenZhu / llm-channel-audit
Verify whether the LLM API channel you purchased is honest.
robbin / android-adb-control
An Agent Skill for Android phone control via ADB: observe, act, and verify. For Pi, Codex, Claude Code, and OpenCode.
Longado / ontopoc
Draft a company ontology from an uploaded table or document, verify it against every row in code, and keep the person's judgement so the next upload of the same file starts from it
Tahscene / SottoQR
During the July 2024 uprising, fake and manipulated images obscured the truth, making it difficult to verify evidence or track justice. Our AI powered platform authenticates images, preserves credible evidence & transparently tracks case progress, helping protect historical truth during crises and beyond.
Anas-Khan93 / llmground
Verify LLM-extracted field values actually appear in the source document. Catches hallucinated data that passes schema validation. Zero dependencies.
cuihuash / CiteVerify
A local tool for verifying references in research papers. It extracts citations from PDF and docx files, searches for matching scholarly records online, and creates an HTML report for human review.
kanaworksai-hue / effekseer-vfx-skill
Agent skills that make real-time game VFX as code for Effekseer and verify them in real Godot renders (Claude Code, Codex and other Agent Skills hosts).
Henry-Yolky / RepoLocus
Map unfamiliar code. Verify every answer.
PyModel / jev-judge-mcp
Typed judgment tools for MCP agents. TypeSafe's Jev model as verify, screen, find, classify, rerank, decide, compare, extract, review, gate, and score: the model judges, policy decides auto, review, or escalate.
sami-mag07 / ultimate-scraper-agent
Research skill and researcher subagent for Claude Code: multi-engine search behind one interface, parallel agent waves, and a verify gate that blocks any citation without a verbatim quote. No personal data; configured via .env.
sylvesterkaczmarek / agent-boundary-check
Verify what AI coding agents can actually read, write, execute and reach using synthetic canaries.
Abolfazlshahi / claude-capability-bridge-skill
A procedural Agent Skill that teaches custom-provider models how to discover, use, verify, and recover from Claude Desktop/Cowork-style tools and workflows
SeoNaRu / nulnul-harness
A minimal, evidence-gated harness for Codex and Claude Code: reuse what works, add only what is missing, verify before evolving.
1diot9 / VulnHunter-White
εΊδΊ LLM ηη½ηζΌζ΄ζζ Agentγεζ‘ζζθ·―εΎοΌε―εεΌγεΏ«ιζ«ζ Sink εζΊ―γεε²ζΌζ΄η»θΏγζ ηΊ¦ζοΌ+ Docker ιΆεΊ / ε±ι¨ harness / ιζιͺθ―οΌζ―ζδΊθη½ε€η°δΈζ»ε»ιΎδΈ²θγ LLM-based white-box vuln mining agent. Four paths (heuristic, fast-scan sink backtrace, historical bypass, unconstrained) + Docker lab / harness / static verify; Internet retest and attack chains.
OSVerify / OSVerify
One-sided verification under limited expert review: audited review of solutions and papers (mathematics for now).
PillCrew / claimchain
Verify that an AI agent's on-chain claims are actually true. A claim-level groundedness checker for Solana / memecoin agents.
taurus42119-stack / godkiller-mcp
Your coding agent gaslights you. GODKILLER doesn't. Disk gates > vibes. claim_done only after verify.
aadya940 / scikit-verify
Trace Python+NumPy programs into SymPy formulas and check them symbolically, across all branches
Kaiden118 / RunSleuth-Evidence-Grounded-ML-Training-Failure-Diagnosis-and-Repair-Verification
An evidence-grounded LLM agent for diagnosing PyTorch training failures and verifying proposed repairs through bounded retraining.
recommend-dev / recommend-agentic-trust-layer
Verify the context you feed your AI agents, against the web or your own documents.
maximilianfeix / proxy-scraper
Free HTTP/SOCKS proxies with every check on the record: passed, failed or couldn't run, and when. Hourly list, --pick --verify, --diagnose, rotating proxy, Python API, MCP server.
biusberline / cloudflare-turnstile-solver
A small Python library and CLI for working with Cloudflare Turnstile on your own pages - read the sitekey, build the token, verify the result.
Nicholas2519 / python-cloudflare-turnstile
A small Python library and CLI for working with Cloudflare Turnstile on your own pages - read the sitekey, build the token, verify the result.