MCP App StoreMCP App Store
de correctless63
Transformez une idée de fonctionnalité en une spécification structurée et testable avec une intensité configurable, de la recherche et des invariants basés sur STRIDE.
Ce que cela fait : cspec guide un agent pour produire une spécification de fonctionnalité structurée avec des invariants clairs et testables, ainsi qu'un flux de travail sensible à l'intensité. Quand l'utiliser : utilisez cspec pour des spécifications reproductibles et révisables, en passant d'un niveau standard à élevé/critique pour les travaux sensibles en sécurité. Ce qui est inclus : des étapes d'orchestration pour le brainstorming socratique, des sous-agents de recherche optionnels, la rédaction de spécifications basée sur des modèles, des vérifications de patterns/anti-patterns et des directives STRIDE.
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.