@@ -16,12 +16,10 @@ SpecCursor is a GitHub App that autonomously upgrades dependencies, patches regr
1616
1717### Key Features
1818
19- - 🤖 ** AI-Powered Patching** : Uses Claude Sonnet 4 to generate regression patches
20- - 🔍 ** Formal Verification** : Leverages Lean 4.20.0 with Mathlib4 for invariant proofs
21- - 🔄 ** Multi-Ecosystem Support** : Node.js (pnpm), Rust (cargo), Python (pip), Go (go modules), Dockerfile
22- - 🛡️ ** Security First** : Sandboxed execution, comprehensive threat modeling, and security scanning
23- - 📊 ** Observability** : Prometheus metrics, OpenTelemetry tracing, Grafana dashboards
24- - 🚀 ** Production Ready** : AWS infrastructure, CI/CD pipelines, monitoring, and alerting
19+ - ** AI-Powered Patching** : Uses Claude Sonnet 4 to generate regression patches
20+ - ** Formal Verification** : Leverages Lean 4.20.0 with Mathlib4 for invariant proofs
21+ - ** Multi-Ecosystem Support** : Node.js (pnpm), Rust (cargo), Python (pip), Go (go modules), Dockerfile
22+ - ** Security First** : Sandboxed execution, comprehensive threat modeling, and security scanning
2523
2624## Quick Start
2725
@@ -38,8 +36,7 @@ SpecCursor is a GitHub App that autonomously upgrades dependencies, patches regr
3836
3937``` bash
4038# Clone the repository
41- git clone https://github.com/speccursor/speccursor.git
42- cd speccursor
39+ git clone https://github.com/fraware/specursor.git
4340
4441# Install dependencies
4542pnpm install
@@ -188,10 +185,9 @@ This project is licensed under the MIT License - see the [LICENSE](LICENSE) file
188185
189186## Support
190187
191- - 📖 [ Documentation] ( https://speccursor.dev )
192- - 🐛 [ Issue Tracker] ( https://github.com/speccursor/speccursor/issues )
193- - 💬 [ Discussions] ( https://github.com/speccursor/speccursor/discussions )
194- - 📧 [ Email Support] ( mailto:support@speccursor.dev )
188+ - [ Issue Tracker] ( https://github.com/speccursor/speccursor/issues )
189+ - [ Discussions] ( https://github.com/speccursor/speccursor/discussions )
190+ - [ Email Support] ( mailto:support@speccursor.dev )
195191
196192## Roadmap
197193
0 commit comments