MCP App StoreMCP App Store
from correctless63
Turn a feature idea into a structured, testable specification with configurable intensity, research, and STRIDE-backed invariants.
What it does: cspec guides an agent to produce a structured feature specification with clear, testable invariants and an intensity-aware workflow. When to use it: use cspec for reproducible, reviewable specs, scaling from standard to high/critical for security-sensitive work. What's included: orchestration steps for Socratic brainstorm, optional research subagents, template-driven spec drafting, pattern/antipattern checks, and STRIDE guidance.
A comprehensive spec-writing skill for the Correctless workflow system. Turns feature ideas into structured, testable specifications with STRIDE security analysis and configurable intensity levels. No bundled scripts — the 744-line SKILL.md is entirely instructional, relying on project-local hooks (workflow-advance.sh, harness-fingerprint.sh). Well-structured with clear steps, templates, and constraints, but monolithic at 52KB with no references/ directory or progressive disclosure via separate files. Requires the full Correctless ecosystem to function.
Well-crafted skill with thoughtful security guardrails (branch guard, scoped allowed-tools, no code generation constraint). The allowed-tools frontmatter properly restricts bash to git read operations and specific project scripts. Main architectural concern is the monolithic 52KB file — would score higher on architecture if it used references/ for templates, constraints, and research protocol details. Usefulness is limited by the Correctless ecosystem dependency.
WRDS Query & ETL Enforcement
Standards and enforcement guidance for querying WRDS data and running SAS/ETL on the WRDS grid—includes query validation, SGE submission patterns, and performan
Academic Research Search
Search academic literature across multiple sources, deduplicate results, resolve DOIs, and surface trusted papers with concise takeaways.
Junshi — Research Advisor
Daily strategic research advisor that scans arXiv/venues, digests papers, and proposes bold, ranked research ideas tailored to the user's profile.
TradeOS
Natural-language driven CEX trading and portfolio management for agents: API key vaulting, multi-exchange orders, DCA, arbitrage scanning, alerts and security r
Java 25 & Spring Boot 4 Code Reviewer
Run focused, evidence-based code reviews for Java 25 and Spring Boot 4 projects — migration risks, architecture boundaries, null-safety (JSpecify), security, an
ArcKit — French Public Procurement (fr-marche-public)
Generates French public procurement (Dossier de Consultation des Entreprises) drafts aligned with the Code de la Commande Publique, UGAP frameworks, and DINUM d
Vibe Security Auditor
Audits AI-generated codebases for critical security flaws like exposed keys, broken RLS, and insecure payment flows.
SourceSage CLI
Generate concise, LLM-friendly repository summaries (Markdown) using the SourceSage CLI — supports lite mode, language switching, and targeted repo analysis.