{"id":37437201,"url":"https://github.com/uuverifiers/princess","last_synced_at":"2026-01-16T06:41:30.776Z","repository":{"id":37477354,"uuid":"493676976","full_name":"uuverifiers/princess","owner":"uuverifiers","description":"The Princess Theorem Prover","archived":false,"fork":false,"pushed_at":"2026-01-07T20:08:32.000Z","size":55493,"stargazers_count":30,"open_issues_count":8,"forks_count":9,"subscribers_count":3,"default_branch":"master","last_synced_at":"2026-01-14T07:40:58.149Z","etag":null,"topics":["logic","smt","smt-lib","smt-solver","theorem-prover"],"latest_commit_sha":null,"homepage":"","language":"Scala","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/uuverifiers.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":"AUTHORS","dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2022-05-18T13:33:54.000Z","updated_at":"2026-01-05T16:39:40.000Z","dependencies_parsed_at":"2023-09-28T08:24:14.870Z","dependency_job_id":"84ea0270-abf7-46d7-9686-b327150a6c7e","html_url":"https://github.com/uuverifiers/princess","commit_stats":null,"previous_names":[],"tags_count":50,"template":false,"template_full_name":null,"purl":"pkg:github/uuverifiers/princess","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uuverifiers%2Fprincess","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uuverifiers%2Fprincess/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uuverifiers%2Fprincess/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uuverifiers%2Fprincess/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/uuverifiers","download_url":"https://codeload.github.com/uuverifiers/princess/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uuverifiers%2Fprincess/sbom","scorecard":{"id":913406,"data":{"date":"2025-08-11","repo":{"name":"github.com/uuverifiers/princess","commit":"c9e6a99f4d16225f4e4a925ee5f21821b79bb241"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":3.5,"checks":[{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Code-Review","score":0,"reason":"Found 2/29 approved changesets -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Token-Permissions","score":-1,"reason":"No tokens found","details":null,"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Maintained","score":10,"reason":"12 commit(s) and 4 issue activity found in the last 90 days -- score normalized to 10","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Dangerous-Workflow","score":-1,"reason":"no workflows found","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"Binary-Artifacts","score":7,"reason":"binaries present in source code","details":["Warn: binary detected: extlibs/java-cup-11a.jar:1","Warn: binary detected: parser/parser.jar:1","Warn: binary detected: smt-parser/smt-parser.jar:1"],"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"Pinned-Dependencies","score":-1,"reason":"no dependencies found","details":null,"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"License","score":9,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Warn: project license file does not contain an FSF or OSI license."],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Signed-Releases","score":0,"reason":"Project has not signed or included provenance with any releases.","details":["Warn: release artifact snapshot-2024-11-08 not signed: https://api.github.com/repos/uuverifiers/princess/releases/184359305","Warn: release artifact snapshot-2024-01-12 not signed: https://api.github.com/repos/uuverifiers/princess/releases/136779947","Warn: release artifact snapshot-2023-06-19 not signed: https://api.github.com/repos/uuverifiers/princess/releases/109103664","Warn: release artifact snapshot-2023-04-07 not signed: https://api.github.com/repos/uuverifiers/princess/releases/98024075","Warn: release artifact snapshot-2022-11-03 not signed: https://api.github.com/repos/uuverifiers/princess/releases/82700641","Warn: release artifact snapshot-2024-11-08 does not have provenance: https://api.github.com/repos/uuverifiers/princess/releases/184359305","Warn: release artifact snapshot-2024-01-12 does not have provenance: https://api.github.com/repos/uuverifiers/princess/releases/136779947","Warn: release artifact snapshot-2023-06-19 does not have provenance: https://api.github.com/repos/uuverifiers/princess/releases/109103664","Warn: release artifact snapshot-2023-04-07 does not have provenance: https://api.github.com/repos/uuverifiers/princess/releases/98024075","Warn: release artifact snapshot-2022-11-03 does not have provenance: https://api.github.com/repos/uuverifiers/princess/releases/82700641"],"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Branch-Protection","score":0,"reason":"branch protection not enabled on development/release branches","details":["Warn: branch protection not enabled for branch 'master'"],"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 3 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}}]},"last_synced_at":"2025-08-24T20:06:02.530Z","repository_id":37477354,"created_at":"2025-08-24T20:06:02.530Z","updated_at":"2025-08-24T20:06:02.530Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28477913,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-16T06:30:42.265Z","status":"ssl_error","status_checked_at":"2026-01-16T06:30:16.248Z","response_time":107,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["logic","smt","smt-lib","smt-solver","theorem-prover"],"created_at":"2026-01-16T06:41:30.249Z","updated_at":"2026-01-16T06:41:30.769Z","avatar_url":"https://github.com/uuverifiers.png","language":"Scala","funding_links":[],"categories":[],"sub_categories":[],"readme":"# The Princess Theorem Prover\n\nPrincess is a theorem prover (aka SMT Solver) for Presburger\narithmetic with uninterpreted predicates, written entirely in \u003ca\nhref=\"http://www.scala-lang.org/\"\u003eScala\u003c/a\u003e.  Princess can reason\nabout problems in integer arithmetic, augmented with predicates that\ncan be axiomatised arbitrarily. Such problems can contain arbitrary\nquantifiers to express that some formula is supposed to hold for all\nor for some integers. Princess also contains theory modules for, among\nothers, non-linear arithmetic, rationals, bit-vectors, arrays, heaps,\nalgebraic data-types, strings.\n\nMore information about Princess can be found on the main webpage,\nhttps://philipp.ruemmer.org/princess.shtml","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fuuverifiers%2Fprincess","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fuuverifiers%2Fprincess","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fuuverifiers%2Fprincess/lists"}