GitHub
SpecForge: детерминированный компилятор правил для AI-агентов
SpecForge — это инструмент на базе Rust, преобразующий пользовательские правила в проверяемые спецификации без использования искусственного интеллекта внутри. Проект нативно поддерживает MCP и совместим с агентами, такими как Claude Code и Cursor, обеспечивая предсказуемые результаты проверки.
382 forksRustscore 67.4
rustai-agentsformal-verificationstatic-analysisdslwebassemblytraceabilityspec-driven-developmentdeveloper-toolsz3