ursa-inc/FMT Equivalence Checker
Prove functional equivalence between two functions using formal methods
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| api_key | FMT API key — store as a GitHub Actions secret | yes | — |
| function_a | First function source code (inline string) | yes | — |
| function_b | Second function source code to compare against | yes | — |
| language | Programming language of the functions | no | python |
| timeout | Proof timeout in seconds | no | 30 |
| api_url | FMT API base URL (override for testing) | no | https://api.fmt.ursasecure.com |
Outputs
| name | description |
|---|---|
| job_id | The equivalence check job ID |
| equivalent | Whether the functions are proven equivalent (true/false/unknown) |
| status | Final job status (complete/failed) |