constant-time-testing
Measures timing side channels in cryptographic implementations by running them, using dudect for statistical analysis and Timecop over Valgrind for dynamic tracing. Covers the for…
Discover agent skills, MCP servers and Cursor rules. One search, direct links to original projects. No sign-up.
4,530 matching resources
Measures timing side channels in cryptographic implementations by running them, using dudect for statistical analysis and Timecop over Valgrind for dynamic tracing. Covers the for…
Portable release checklist skill for the Kimi packaged example.
One-shot Base-token investigation - runs any subset of six onchain-security checks (rug-scan, contract-audit, deployer-trace, holder-concentration, honeypot, lp-lock) into one ver…
Automatically convert uploaded drug application documents (Word/PDF) into XML skeleton structure compliant with eCTD 4.0/3.2.2 specifications.
Summarise a long text the user pasted or uploaded - an article, report, PDF, email thread, meeting notes, transcript, contract or chat - into the key points, decisions, open quest…
Raises and scores a software Technology Readiness Level (TRL 1–9) in a loop. Each cycle collects facts-only evidence, has three low-context assessor agents score every in-scope ar…
Model Context Protocol project hosted in industrystock-csteam/remote-mcp-server-authless. View source for setup details.
Model Context Protocol server and client for R
Desktop microphone recorder with real-time, on-device transcription, automatic audio segmentation, voice activity detection, and an MCP server for searching saved transcripts.
A Model Context Protocol (MCP) library for the Zig ecosystem.
Manage the persistent thread goal from the Python REPL. Use to read goal status and budget usage, to start a goal when the user explicitly asks for one, or to mark the active goal…
A Model Context Protocol (MCP) server that bridges Video & Audio content with Large Language Models using yt-dlp.
Official Hex-Rays IDA MCP Server.
MCP server and Claude Code side panes for Home Assistant and ESPHome: read state, call services, edit automations, compile and flash, live dashboards and a health score beside the…
基于解析后的文档与用户意图,生成四色卡片——事实蓝卡、解释绿卡、风险黄卡、行动红卡,是八官署方法论的核心分析输出。
Anti-sycophancy directives for code review and generation. Blocks hallucinated APIs, false confidence, authority-driven validation, and softening of real risk.
Reorganizes a paper into a storyline suitable for scientific posters. Use when planning the section structure, title hierarchy, figure selection, and live-explanation flow for an …
Assists R&D teams with patent technical disclosure drafting and patent/novelty search analysis; use when users ask to write a patent disclosure, structure an invention description…